Federico Olmedo
Title
Cited by
Cited by
Year
Probabilistic relational reasoning for differential privacy
G Barthe, B Köpf, F Olmedo, S Zanella Béguelin
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
1402012
Weakest precondition reasoning for expected run–times of probabilistic programs
BL Kaminski, JP Katoen, C Matheja, F Olmedo
European Symposium on Programming, 364-389, 2016
972016
Reasoning about Recursive Probabilistic Programs*
F Olmedo, BL Kaminski, JP Katoen, C Matheja
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
652016
Probabilistic relational reasoning for differential privacy
G Barthe, B Köpf, F Olmedo, S Zanella-Béguelin
ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013
632013
Beyond differential privacy: Composition theorems and relational logic for f-divergences between probabilistic programs
G Barthe, F Olmedo
International Colloquium on Automata, Languages, and Programming, 49-60, 2013
452013
Conditioning in probabilistic programming
N Jansen, BL Kaminski, JP Katoen, F Olmedo, F Gretz, A McIver
Electronic Notes in Theoretical Computer Science 319, 199-216, 2015
38*2015
Formally certifying the security of digital signature schemes
S Zanella-Beguelin, G Barthe, B Gregoire, F Olmedo
2009 30th IEEE Symposium on Security and Privacy, 237-250, 2009
322009
Weakest precondition reasoning for expected runtimes of randomized algorithms
BL Kaminski, JP Katoen, C Matheja, F Olmedo
Journal of the ACM (JACM) 65 (5), 1-68, 2018
222018
Verified indifferentiable hashing into elliptic curves
G Barthe, B Grégoire, S Heraud, F Olmedo, SZ Béguelin
International Conference on Principles of Security and Trust, 209-228, 2012
212012
Understanding probabilistic programs
JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo
Correct System Design, 15-32, 2015
172015
Understanding probabilistic programs
JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo
Correct System Design, 15-32, 2015
172015
Conditioning in probabilistic programming
F Olmedo, F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-50, 2018
162018
Approximate relational reasoning for probabilistic programs
F Olmedo
Universidad Politécnica de Madrid, 2014
142014
Verifiable security of Boneh-Franklin identity-based encryption
G Barthe, F Olmedo, SZ Béguelin
International Conference on Provable Security, 68-83, 2011
102011
EasyCrypt: Computer-Aided Cryptographic Proofs
G Barthe, F Dupressoir, B Gregoire, A Stoughton, PY Strub
42018
Verified indifferentiable hashing into elliptic curves
G Barthe, B Grégoire, S Heraud, F Olmedo, S Zanella-Béguelin
Journal of computer security 21 (6), 881-917, 2013
42013
Verified indifferentiable hashing into elliptic curves
G Barthe, B Grégoire, S Heraud, F Olmedo, S Zanella-Béguelin
Journal of computer security 21 (6), 881-917, 2013
42013
„On the Semantic Intricacies of Conditioning.“
F Gretz, N Jansen, BL Kaminski, JP Katoen, F Olmedo
Extended Abstracts of the 1st Workshop on Probabilistic Programming …, 2016
22016
„Probabilistic Programs—A Natural Model for Approximate Computations.“
N Jansen, BL Kaminski, JP Katoen, C Matheja, F Olmedo
Extended Abstracts of the Workshop on Approximate Computing (AC 15), 2015
22015
A mechanized formalization of GraphQL
T Díaz, F Olmedo, É Tanter
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20