The following pages link to P. Adão (Q280458):
Displaying 9 items.
- Efficient approximation of the conditional relative entropy with applications to discriminative learning of Bayesian network classifiers (Q280459) (← links)
- Hybrid learning of Bayesian multinets for binary classification (Q1676890) (← links)
- Formal verification of Ethereum smart contracts using Isabelle/HOL (Q2037985) (← links)
- Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete (Q2453106) (← links)
- A process algebra for reasoning about quantum security (Q2864166) (← links)
- (Q2957527) (← links)
- Cryptographically Sound Implementations for Communicating Processes (Q3591442) (← links)
- Soundness of Formal Encryption in the Presence of Key-Cycles (Q5862672) (← links)
- Oblivious transfer based on quantum state computational distinguishability (Q6250095) (← links)