Items where Author is "Barthe, Gilles"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 8.

Article

Radicek, Ivan and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Zuleger, Florian
(2018) Monadic refinements for relational cost analysis.
PACMPL, 2 (POPL). 36:1–36:32.

D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017) Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR, abs/17.

Aguirre, Alejandro and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Strub, Pierre-Yves
(2017) A relational logic for higher-order programs.
PACMPL, 1 (ICFP). 21:1–21:29.

Conference or Workshop Item

Çiçek, Ezgi and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Hoffmann, Jan
(2017) Relational cost analysis.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017) Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
Conference: ESOP - European Symposium on Programming

Barthe, Gilles and D'Argenio, Pedro R. and Finkbeiner, Bernd and Hermanns, Holger
(2016) Facets of Software Doping.
In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II.
Conference: None | Not Set

Backes, Michael and Barthe, Gilles and Berg, Matthias and Grégoire, Benjamin and Kunz, César and Skoruppa, Malte and Béguelin, Santiago Zanella
(2012) Verified Security of Merkle-Damgård.
In: Proceedings of the 25th IEEE Computer Security Foundations Symposium - CSF 2012.
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Barthe, Gilles and Köpf, Boris
(2011) Information-theoretic Bounds for Differentially Private Mechanisms.
In: Proceedings of the 24th IEEE Computer Security Foundations Symposium.
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

This list was generated on Wed Apr 24 00:03:24 2019 CEST.