Really natural linear indexed type-checking, Symposium on Implementation and Application of Functional Programming Languages (IFL), vol.5, pp.1-5, 2014. ,
A semantic account of metric preservation, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.545-556, 2017. ,
, Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. IACR Cryptology ePrint Archive, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01414009
EasyCrypt: A Tutorial, Foundations of Security Analysis and Design VII (FOSAD), vol.8604, pp.146-166, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01114366
?-Liftings for differential privacy, International Colloquium on Automata, Languages and Programming (ICALP), vol.80, p.12, 2017. ,
Advanced Probabilistic Couplings for Differential Privacy, ACM SIGSAC Conference on Computer and Communications Security (CCS), pp.55-67, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01410196
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy, In ACM SIGPLAN-SIGACT Proceedings of the ACM on Programming Languages, vol.2, p.28, 2015. ,
, Strub Symposium on Principles of Programming Languages (POPL), pp.55-68
Computeraided verification in mechanism design, Conference on Web and Internet Economics (WINE), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01260071
Proving Differential Privacy via Probabilistic Couplings, IEEE Symposium on Logic in Computer Science (LICS), pp.749-758, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01411097
Coupling proofs are probabilistic product programs, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01649028
Formal Certification of Code-Based Cryptographic Proofs, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.90-101, 2009. ,
Probabilistic relational reasoning for differential privacy, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.97-110, 2012. ,
Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs, International Colloquium on Automata, Languages and Programming (ICALP), vol.7966, pp.641-657, 1976. ,
Stability and Generalization, Journal of Machine Learning Research, vol.2, pp.499-526, 2002. ,
Path coupling: A technique for proving rapid mixing in Markov chains, IEEE Symposium on Foundations of Computer Science (FOCS), pp.223-231, 1997. ,
Continuity analysis of programs, ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL), pp.57-70, 2010. ,
A finite population model of molecular evolution: Theory and computation, Journal of Computational Biology, vol.19, pp.1176-1202, 2012. ,
Quantitative Masking Strength: Quantifying the Power Side-Channel Resistance of Software Code, IEEE Transansactions on CAD of Integrated Circuits and Systems, vol.34, pp.1558-1568, 2015. ,
Stability of Randomized Learning Algorithms, Journal of Machine Learning Research, vol.6, pp.55-79, 2005. ,
Linear dependent types for differential privacy, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp.357-370, 2013. ,
DOI : 10.1145/2429069.2429113
URL : https://hal.archives-ouvertes.fr/hal-00909340
Train faster, generalize better: Stability of stochastic gradient descent, International Conference on Machine Learning (ICML), vol.48, pp.1225-1234, 2016. ,
, Principles of Population Genetics, 2006.
Probabilistic Couplings for Probabilistic Reasoning, Ph.D. Dissertation. University of Pennsylvania, 2017. ,
Safety Verification of Deep Neural Networks, International Conference on Computer Aided Verification (CAV), vol.10426, pp.3-29, 2017. ,
Analyzing Evolutionary Algorithms: The Computer Science Perspective, 2013. ,
A Very Simple Algorithm for Estimating the Number of k-Colorings of a Low-Degree Graph, Random Structures and Algorithms, vol.7, pp.157-166, 1995. ,
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, European Symposium on Programming (ESOP), vol.9632, pp.364-389, 2016. ,
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks, International Conference on Computer Aided Verification (CAV), vol.10426, pp.97-117, 2017. ,
DOI : 10.1007/978-3-319-63387-9_5
URL : http://arxiv.org/pdf/1702.01135
Semantics of probabilistic programs, IEEE Symposium on Foundations of Computer Science (FOCS), pp.101-114, 1979. ,
A Probabilistic PDL, J. Comput. System Sci, vol.30, pp.162-178, 1985. ,
Lectures on the coupling method, 2002. ,
Probabilistic Predicate Transformers, ACM Transactions on Programming Languages and Systems, vol.18, pp.325-353, 1996. ,
Evolutionary Dynamics in Finite Populations Mix Rapidly, ACM-SIAM Symposium on Discrete Algorithms (SODA), pp.480-497, 2016. ,
Distance Makes the Types Grow Stronger: A Calculus for Differential Privacy, ACM SIGPLAN International Conference on Functional Programming (ICFP), 2010. ,
Approximate Relational Hoare Logic for Continuous Random Samplings, Conference on the Mathematical Foundations of Programming Semantics (MFPS), 2016. ,
Developing Bug-Free Machine Learning Systems With Formal Mathematics, International Conference on Machine Learning (ICML), vol.70, pp.3047-3056, 2017. ,
Without-Replacement Sampling for Stochastic Gradient Methods: Convergence Results and Application to Distributed Optimization, 2016. ,
Coupling, Stationarity, and Regeneration, 2000. ,
Optimal transport: Old and new, 2008. ,
The Speed of Evolution, ACM-SIAM Symposium on Discrete Algorithms (SODA), pp.1590-1601, 2015. ,
A framework for adaptive differential privacy, ACM SIGPLAN International Conference on Functional Programming (ICFP), vol.10, pp.1-10, 2017. ,