Pedro 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pedro Adão