Follow
Federico Olmedo
Title
Cited by
Cited by
Year
Probabilistic relational reasoning for differential privacy
G Barthe, B Köpf, F Olmedo, S Zanella Beguelin
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
1892012
Weakest precondition reasoning for expected run–times of probabilistic programs
BL Kaminski, JP Katoen, C Matheja, F Olmedo
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
1492016
Reasoning about recursive probabilistic programs
F Olmedo, BL Kaminski, JP Katoen, C Matheja
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
1042016
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
1042013
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
762018
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
732013
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
472018
Conditioning in probabilistic programming
F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver, F Olmedo
arXiv preprint arXiv:1504.00198, 2015
43*2015
Formally certifying the security of digital signature schemes
S Zanella-Béguelin, G Barthe, B Grégoire, F Olmedo
2009 30th IEEE Symposium on Security and Privacy, 237-250, 2009
372009
Understanding probabilistic programs
JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015
242015
Understanding probabilistic programs
JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the …, 2015
242015
Verified indifferentiable hashing into elliptic curves
G Barthe, B Grégoire, S Heraud, F Olmedo, S Zanella Béguelin
International Conference on Principles of Security and Trust, 209-228, 2012
212012
Approximate relational reasoning for probabilistic programs
F Olmedo
Informatica, 2014
142014
A mechanized formalization of GraphQL
T Díaz, F Olmedo, É Tanter
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
132020
Verifiable security of boneh-franklin identity-based encryption
G Barthe, F Olmedo, SZ Béguelin
International Conference on Provable Security, 68-83, 2011
122011
Runtime analysis of quantum programs: A formal approach
F Olmedo, A Díaz-Caro
arXiv preprint arXiv:1911.11247, 2019
62019
Contextual linear types for differential privacy
M Toro, D Darais, C Abuah, JP Near, D Árquez, F Olmedo, É Tanter
ACM Transactions on Programming Languages and Systems 45 (2), 1-69, 2023
52023
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
52013
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
52013
Slicing of probabilistic programs based on specifications
M Navarro, F Olmedo
Science of Computer Programming 220, 102822, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20