Federico Olmedo

Available identifiers

zbMath Open olmedo.federicoMaRDI QIDQ2802488

List of research outcomes

Publication	Date of Publication	Type
Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms	2019-02-25	Paper
Reasoning about Recursive Probabilistic Programs	2018-04-23	Paper
Conditioning in probabilistic programming	2016-12-16	Paper
Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs	2016-04-26	Paper
Understanding Probabilistic Programs	2015-11-04	Paper
Probabilistic relational reasoning for differential privacy	2015-09-11	Paper
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs	2013-08-07	Paper
Verified Indifferentiable Hashing into Elliptic Curves	2012-06-29	Paper
Verifiable Security of Boneh-Franklin Identity-Based Encryption	2011-09-16	Paper

Research outcomes over time

This page was built for person: Federico Olmedo