Federico Olmedo

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 16

Top Topics

Differential Privacy

Randomized Algorithm

Top Venues

ACM Trans. Program. Lang. Syst.

Correct System Design

Publications

Matías Toro, Federico Olmedo, Éric Tanter
Gradual Differentially Private Programming. Commun. ACM 67 (8) (2024)
Carlos Buil-Aranda, Jorge Lobo, Federico Olmedo
Differential privacy and SPARQL. Semantic Web 15 (3) (2024)
Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Wenjia Ye, Matías Toro, Federico Olmedo
A Gradual Probabilistic Lambda Calculus. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Marcelo Navarro, Federico Olmedo
Slicing of probabilistic programs based on specifications. Sci. Comput. Program. 220 (2022)
Marcelo Navarro, Federico Olmedo
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). ECOOP (2022)
Marcelo Navarro, Federico Olmedo
Slicing of Probabilistic Programs based on Specifications. CoRR (2022)
Tomás Díaz, Federico Olmedo, Éric Tanter
A mechanized formalization of GraphQL. CPP (2020)
Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. CoRR (2020)
Federico Olmedo, Alejandro Díaz-Caro
Runtime Analysis of Quantum Programs: A Formal Approach. CoRR (2019)
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. 40 (1) (2018)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. J. ACM 65 (5) (2018)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. ESOP (2016)
Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Reasoning about Recursive Probabilistic Programs. LICS (2016)
Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Reasoning about Recursive Probabilistic Programs. CoRR (2016)
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. CoRR (2016)
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
Conditioning in Probabilistic Programming. CoRR (2015)
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
Conditioning in Probabilistic Programming. MFPS (2015)
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
Understanding Probabilistic Programs. Correct System Design (2015)
Gilles Barthe, Federico Olmedo
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs. ICALP (2) (2013)
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
Probabilistic Relational Reasoning for Differential Privacy. ACM Trans. Program. Lang. Syst. 35 (3) (2013)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
Verified indifferentiable hashing into elliptic curves. J. Comput. Secur. 21 (6) (2013)
Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin
Probabilistic relational reasoning for differential privacy. POPL (2012)
Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin
Verified Indifferentiable Hashing into Elliptic Curves. POST (2012)
Gilles Barthe, Federico Olmedo, Santiago Zanella Béguelin
Verifiable Security of Boneh-Franklin Identity-Based Encryption. ProvSec (2011)
Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo
Formally Certifying the Security of Digital Signature Schemes. IEEE Symposium on Security and Privacy (2009)