P. Adão

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Soundness of Formal Encryption in the Presence of Key-Cycles Computer Security – ESORICS 2005	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 Pattern Recognition	2017-11-10	Paper
scientific article; zbMATH DE number 6678480 (Why is no real title available?)	2017-01-26	Paper
Efficient approximation of the conditional relative entropy with applications to discriminative learning of Bayesian network classifiers Entropy	2016-05-10	Paper
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete Theoretical Computer Science	2014-06-06	Paper
Oblivious transfer based on quantum state computational distinguishability	2014-03-24	Paper
A process algebra for reasoning about quantum security Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Cryptographically Sound Implementations for Communicating Processes Automata, Languages and Programming	2007-09-11	Paper

Research outcomes over time

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