P. Adão

Available identifiers

zbMath Open adao.pedroMaRDI QIDQ280458

List of research outcomes

Publication	Date of Publication	Type
Soundness of Formal Encryption in the Presence of Key-Cycles	2022-03-09	Paper
Formal verification of Ethereum smart contracts using Isabelle/HOL	2021-07-08	Paper
Hybrid learning of Bayesian multinets for binary classification	2017-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q2957527	2017-01-26	Paper
Efficient approximation of the conditional relative entropy with applications to discriminative learning of Bayesian network classifiers	2016-05-10	Paper
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete	2014-06-06	Paper
Oblivious transfer based on quantum state computational distinguishability	2014-03-24	Paper
A process algebra for reasoning about quantum security	2013-12-06	Paper
Cryptographically Sound Implementations for Communicating Processes	2007-09-11	Paper

Research outcomes over time

This page was built for person: P. Adão