Suivre
Federico Olmedo
Titre
Citée par
Citée par
Année
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
1922012
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
1552016
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
1062016
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
1052013
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
842018
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
782013
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
542018
Conditioning in probabilistic programming
F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver, F Olmedo
arXiv preprint arXiv:1504.00198, 2015
44*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
392009
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
252015
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
A Gradual Probabilistic Lambda Calculus
W Ye, M Toro, F Olmedo
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 256-285, 2023
12023
Slicing of probabilistic programs based on specifications
M Navarro, F Olmedo
Science of Computer Programming 220, 102822, 2022
12022
Differential privacy and SPARQL
C Buil-Aranda, J Lobo, F Olmedo
Semantic Web, 1-29, 2021
12021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20