The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gilles Barthe" ( http://dblp.L3S.de/Authors/Gilles_Barthe )

URL (Homepage):  https://gbarthe.github.io/  Author page on DBLP  Author page in RDF  Community of Gilles Barthe in ASPL-2

Publication years (Num. hits)
1995-1998 (17) 1999-2001 (16) 2002-2004 (19) 2005-2006 (17) 2007-2008 (21) 2009-2011 (28) 2012 (18) 2013-2014 (30) 2015 (17) 2016 (24) 2017 (24) 2018 (23) 2019 (28)
Publication types (Num. hits)
article(107) inproceedings(160) proceedings(15)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 28 keywords

Results
Found 283 publication records. Showing 282 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tetsuya Sato, Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Justin Hsu Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Christos Dimitrakakis, Marco Gaboardi, Andreas Haeberlen, Aaron Roth 0001, Aleksandra B. Slavkovic Program for TPDP 2016. Search on Bibsonomy J. Priv. Confidentiality The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt Automated Analysis of Cryptographic Assumptions in Generic Group Models. Search on Bibsonomy J. Cryptology The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan 0001 Automated Methods for Checking Differential Privacy. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou Coupling Techniques for Reasoning about Quantum Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe Towards Constant-Time Foundations for the New Spectre Era. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato Hypothesis Testing Interpretations and Renyi Differential Privacy. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek Privacy Amplification by Mixing and Diffusion Mechanisms. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Kantorovich Continuity of Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei Verifying Relational Properties using Trace Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Vincent Laporte, Tiago Oliveira 0004, Pierre-Yves Strub The Last Mile: High-Assurance and High-Speed Cryptographic Implementations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Amir-Hossein Karimi, Gilles Barthe, Borja Balle, Isabel Valera Model-Agnostic Counterfactual Explanations for Consequential Decisions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gilles Barthe, Justin Hsu, Kevin Liao A Probabilistic Separation Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Mélissa Rossi, Mehdi Tibouchi GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2019 DBLP  BibTeX  RDF
1Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu Formal Verification of a Constant-Time Preserving C Compiler. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2019 DBLP  BibTeX  RDF
1José Bacelar Almeida, Cecile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Alley Stoughton, Pierre-Yves Strub Machine-Checked Proofs for Cryptographic Standards. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2019 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran A Machine-Checked Proof of Security for AWS Key Management Service. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2019 DBLP  BibTeX  RDF
1Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna System-Level Non-interference of Constant-Time Cryptography. Part I: Model. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Baillot, Gilles Barthe, Ugo Dal Lago Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Mélissa Rossi, Mehdi Tibouchi GALACTICS: Gaussian Sampling for Lattice-Based Constant- Time Implementation of Cryptographic Signatures, Revisited. Search on Bibsonomy CCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Cecile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Alley Stoughton, Pierre-Yves Strub Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. Search on Bibsonomy CCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran A Machine-Checked Proof of Security for AWS Key Management Service. Search on Bibsonomy CCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub Symbolic Methods in Computational Cryptography Proofs. Search on Bibsonomy CSF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan FaCT: a DSL for timing-sensitive computation. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001 Bidirectional type checking for relational properties. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, Gaëtan Cassiers, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert maskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults. Search on Bibsonomy ESORICS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei Verifying Relational Properties using Trace Logic. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Florian Zuleger Monadic refinements for relational cost analysis. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Proving expected sensitivity of probabilistic programs. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tetsuya Sato, Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Justin Hsu Formal verification of higher-order probabilistic programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Alexandra Silva 0001 Almost Sure Productivity. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub An Assertion-Based Program Logic for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Borja Balle, Gilles Barthe, Marco Gaboardi Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns Facets of Software Doping. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001 Bidirectional Type Checking for Relational Properties. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Benjamin Grégoire, Mélissa Rossi, Mehdi Tibouchi Masking the GLP Lattice-Based Signature Scheme at Any Order. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, Pierre-Alain Fouque, Benjamin Grégoire maskVerif: a formal tool for analyzing software and hardware masked implementations. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi Symbolic Proofs for Lattice-Based Cryptography. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2018 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira, Bernardo Portela Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi Symbolic Proofs for Lattice-Based Cryptography. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Geoff Sutcliffe, Margus Veanes (eds.) LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, Vincent Laporte Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time". Search on Bibsonomy CSF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco 0001, Vitor Pereira, Bernardo Portela Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. Search on Bibsonomy CSF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Alexandra Silva 0001 Almost Sure Productivity. Search on Bibsonomy ICALP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub An Assertion-Based Program Logic for Probabilistic Programs. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, Thomas Espitau, Pierre-Alain Fouque, Benjamin Grégoire, Mélissa Rossi, Mehdi Tibouchi Masking the GLP Lattice-Based Signature Scheme at Any Order. Search on Bibsonomy EUROCRYPT (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Borja Balle, Gilles Barthe, Marco Gaboardi Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences. Search on Bibsonomy NeurIPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Pierre-Yves Strub A relational logic for higher-order programs. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Pierre-Yves Strub A Relational Logic for Higher-Order Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Proving uniformity and independence by self-composition and coupling. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub *-Liftings for Differential Privacy. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Proving Expected Sensitivity of Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns Is your software on dope? Formal analysis of surreptitiously "enhanced" programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata Reasoning about Divergences for Relaxations of Differential Privacy. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira A Fast and Verified Software Stack for Secure Function Evaluation. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, François Dupressoir, Benjamin Grégoire A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, Vincent Laporte Provably secure compilation of side-channel countermeasures. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2017 DBLP  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira A Fast and Verified Software Stack for Secure Function Evaluation. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Hugo Pacheco 0001, Benedikt Schmidt, Pierre-Yves Strub Jasmin: High-Assurance and High-Speed Cryptography. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Proving uniformity and independence by self-composition and coupling. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Sandrine Blazy, Vincent Laporte, David Pichardie, Alix Trieu Verified Translation Validation of Static Analyses. Search on Bibsonomy CSF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Coupling proofs are probabilistic product programs. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Jan Hoffmann 0002 Relational cost analysis. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub *-Liftings for Differential Privacy. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh Reasoning about Probabilistic Defense Mechanisms against Remote Attacks. Search on Bibsonomy EuroS&P The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, François Dupressoir, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. Search on Bibsonomy EUROCRYPT (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miguel Ambrona, Gilles Barthe, Benedikt Schmidt Generic Transformations of Predicate Encodings: Constructions and Applications. Search on Bibsonomy CRYPTO (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce Programming language techniques for differential privacy. Search on Bibsonomy SIGLOG News The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds. Search on Bibsonomy IET Information Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, César Kunz Product programs and relational program logics. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Coupling proofs are probabilistic product programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu Synthesizing Probabilistic Invariants via Doob's Decomposition. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Proving Differential Privacy via Probabilistic Couplings. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub A program logic for union bounds. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub Differentially Private Bayesian Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Advanced Probabilistic Couplings for Differential Privacy. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Miguel Ambrona, Gilles Barthe, Benedikt Schmidt Generic Transformations of Predicate Encodings: Constructions and Applications. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, François Dupressoir, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Miguel Ambrona, Gilles Barthe, Benedikt Schmidt Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub Differentially Private Bayesian Programming. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini Strong Non-Interference and Type-Directed Higher-Order Masking. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Advanced Probabilistic Couplings for Differential Privacy. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu Synthesizing Probabilistic Invariants via Doob's Decomposition. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns Facets of Software Doping. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Proving Differential Privacy via Probabilistic Couplings. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub A Program Logic for Union Bounds. Search on Bibsonomy ICALP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi Verifying Constant-Time Implementations. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2016 DBLP  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub Computer-Aided Verification for Mechanism Design. Search on Bibsonomy WINE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Evangelos P. Markatos, Pierangela Samarati (eds.) Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings Search on Bibsonomy STM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. Search on Bibsonomy FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miguel Ambrona, Gilles Barthe, Benedikt Schmidt Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. Search on Bibsonomy EUROCRYPT (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Alberto Pardo, Gerardo Schneider SEFM: software engineering and formal methods. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 282 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license