Seguir
Federico Olmedo
Título
Citado por
Citado por
Ano
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
1722012
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
1312016
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
912013
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
872016
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
592013
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
502018
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
352009
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
292018
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
232012
Understanding probabilistic programs
JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo
Correct System Design, 15-32, 2015
202015
Understanding probabilistic programs
JP Katoen, F Gretz, N Jansen, BL Kaminski, F Olmedo
Correct System Design, 15-32, 2015
202015
Approximate relational reasoning for probabilistic programs
F Olmedo
Informatica, 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
122011
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
A mechanized formalization of GraphQL
T Díaz, F Olmedo, É Tanter
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
32020
Runtime Analysis of Quantum Programs: A Formal Approach
F Olmedo, A Díaz-Caro
arXiv preprint arXiv:1911.11247, 2019
32019
Contextual Linear Types for Differential Privacy
M Toro, D Darais, C Abuah, J Near, D Árquez, F Olmedo, É Tanter
arXiv preprint arXiv:2010.11342, 2020
12020
„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
12016
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20