|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Tetsuya 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.  |
PACMPL  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Christos Dimitrakakis, Marco Gaboardi, Andreas Haeberlen, Aaron Roth 0001, Aleksandra B. Slavkovic |
Program for TPDP 2016.  |
J. Priv. Confidentiality  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Edvard Fagerholm, Dario Fiore, John C. Mitchell, Andre Scedrov, Benedikt Schmidt |
Automated Analysis of Cryptographic Assumptions in Generic Group Models.  |
J. Cryptology  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Rohit Chadha, Vishal Jagannath, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Automated Methods for Checking Differential Privacy.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou |
Coupling Techniques for Reasoning about Quantum Programs.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe |
Towards Constant-Time Foundations for the New Spectre Era.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, Tetsuya Sato |
Hypothesis Testing Interpretations and Renyi Differential Privacy.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Borja Balle, Gilles Barthe, Marco Gaboardi, Joseph Geumlek |
Privacy Amplification by Mixing and Diffusion Mechanisms.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
Kantorovich Continuity of Probabilistic Programs.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei |
Verifying Relational Properties using Trace Logic.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | José 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.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Amir-Hossein Karimi, Gilles Barthe, Borja Balle, Isabel Valera |
Model-Agnostic Counterfactual Explanations for Consequential Decisions.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Justin Hsu, Kevin Liao |
A Probabilistic Separation Logic.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
1 | Gilles 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.  |
IACR Cryptology ePrint Archive  |
2019 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu |
Formal Verification of a Constant-Time Preserving C Compiler.  |
IACR Cryptology ePrint Archive  |
2019 |
DBLP BibTeX RDF |
|
1 | José 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.  |
IACR Cryptology ePrint Archive  |
2019 |
DBLP BibTeX RDF |
|
1 | José 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.  |
IACR Cryptology ePrint Archive  |
2019 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna |
System-Level Non-interference of Constant-Time Cryptography. Part I: Model.  |
J. Autom. Reasoning  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Baillot, Gilles Barthe, Ugo Dal Lago |
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.  |
J. Autom. Reasoning  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles 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.  |
CCS  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | José 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.  |
CCS  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | José 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.  |
CCS  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub |
Symbolic Methods in Computational Cryptography Proofs.  |
CSF  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.  |
LICS  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sunjay 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.  |
PLDI  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001 |
Bidirectional type checking for relational properties.  |
PLDI  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles 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.  |
ESORICS (1)  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei |
Verifying Relational Properties using Trace Logic.  |
FMCAD  |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Florian Zuleger |
Monadic refinements for relational cost analysis.  |
PACMPL  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving expected sensitivity of probabilistic programs.  |
PACMPL  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Sato, Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Justin Hsu |
Formal verification of higher-order probabilistic programs.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Alexandra Silva 0001 |
Almost Sure Productivity.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
An Assertion-Based Program Logic for Probabilistic Programs.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Borja Balle, Gilles Barthe, Marco Gaboardi |
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 |
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns |
Facets of Software Doping.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001 |
Bidirectional Type Checking for Relational Properties.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles 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.  |
IACR Cryptology ePrint Archive  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Sonia Belaïd, Pierre-Alain Fouque, Benjamin Grégoire |
maskVerif: a formal tool for analyzing software and hardware masked implementations.  |
IACR Cryptology ePrint Archive  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles 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.  |
IACR Cryptology ePrint Archive  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi |
Symbolic Proofs for Lattice-Based Cryptography.  |
IACR Cryptology ePrint Archive  |
2018 |
DBLP BibTeX RDF |
|
1 | José 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.  |
IACR Cryptology ePrint Archive  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grégoire, Charlie Jacomme, Elaine Shi |
Symbolic Proofs for Lattice-Based Cryptography.  |
ACM Conference on Computer and Communications Security  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles 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  |
LPAR  |
2018 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Vincent Laporte |
Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time".  |
CSF  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José 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.  |
CSF  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Alexandra Silva 0001 |
Almost Sure Productivity.  |
ICALP  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001 |
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.  |
ESOP  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
An Assertion-Based Program Logic for Probabilistic Programs.  |
ESOP  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gilles 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.  |
EUROCRYPT (2)  |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Borja Balle, Gilles Barthe, Marco Gaboardi |
Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences.  |
NeurIPS  |
2018 |
DBLP BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Pierre-Yves Strub |
A relational logic for higher-order programs.  |
PACMPL  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Aguirre 0001, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Pierre-Yves Strub |
A Relational Logic for Higher-Order Programs.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving uniformity and independence by self-composition and coupling.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub |
*-Liftings for Differential Privacy.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh |
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving Expected Sensitivity of Probabilistic Programs.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns |
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
Reasoning about Divergences for Relaxations of Differential Privacy.  |
CoRR  |
2017 |
DBLP BibTeX RDF |
|
1 | José 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.  |
IACR Cryptology ePrint Archive  |
2017 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, François Dupressoir, Benjamin Grégoire |
A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'.  |
IACR Cryptology ePrint Archive  |
2017 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Vincent Laporte |
Provably secure compilation of side-channel countermeasures.  |
IACR Cryptology ePrint Archive  |
2017 |
DBLP BibTeX RDF |
|
1 | Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee |
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.  |
IACR Cryptology ePrint Archive  |
2017 |
DBLP BibTeX RDF |
|
1 | José 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.  |
ACM Conference on Computer and Communications Security  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | José 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.  |
ACM Conference on Computer and Communications Security  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Ambrona, Gilles Barthe, Romain Gay, Hoeteck Wee |
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions.  |
ACM Conference on Computer and Communications Security  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving uniformity and independence by self-composition and coupling.  |
LPAR  |
2017 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Sandrine Blazy, Vincent Laporte, David Pichardie, Alix Trieu |
Verified Translation Validation of Static Analyses.  |
CSF  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Coupling proofs are probabilistic product programs.  |
POPL  |
2017 |
DBLP BibTeX RDF |
|
1 | Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Jan Hoffmann 0002 |
Relational cost analysis.  |
POPL  |
2017 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub |
*-Liftings for Differential Privacy.  |
ICALP  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns |
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.  |
ESOP  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martín Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, Vijay Ganesh |
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks.  |
EuroS&P  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles 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.  |
EUROCRYPT (1)  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |
Generic Transformations of Predicate Encodings: Constructions and Applications.  |
CRYPTO (1)  |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Justin Hsu, Benjamin C. Pierce |
Programming language techniques for differential privacy.  |
SIGLOG News  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Edvard Fagerholm, Dario Fiore, Andre Scedrov, Benedikt Schmidt, Mehdi Tibouchi |
Strongly-optimal structure preserving signatures from Type II pairings: synthesis and lower bounds.  |
IET Information Security  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Juan Manuel Crespo, César Kunz |
Product programs and relational program logics.  |
J. Log. Algebr. Meth. Program.  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Coupling proofs are probabilistic product programs.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu |
Synthesizing Probabilistic Invariants via Doob's Decomposition.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving Differential Privacy via Probabilistic Couplings.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
A program logic for union bounds.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub |
Differentially Private Bayesian Programming.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Advanced Probabilistic Couplings for Differential Privacy.  |
CoRR  |
2016 |
DBLP BibTeX RDF |
|
1 | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |
Generic Transformations of Predicate Encodings: Constructions and Applications.  |
IACR Cryptology ePrint Archive  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles 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.  |
IACR Cryptology ePrint Archive  |
2016 |
DBLP BibTeX RDF |
|
1 | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.  |
IACR Cryptology ePrint Archive  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub |
Differentially Private Bayesian Programming.  |
ACM Conference on Computer and Communications Security  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles 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.  |
ACM Conference on Computer and Communications Security  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Advanced Probabilistic Couplings for Differential Privacy.  |
ACM Conference on Computer and Communications Security  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu |
Synthesizing Probabilistic Invariants via Doob's Decomposition.  |
CAV (1)  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns |
Facets of Software Doping.  |
ISoLA (2)  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving Differential Privacy via Probabilistic Couplings.  |
LICS  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
A Program Logic for Union Bounds.  |
ICALP  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi |
Verifying Constant-Time Implementations.  |
USENIX Security Symposium  |
2016 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub |
Computer-Aided Verification for Mechanism Design.  |
WINE  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Evangelos P. Markatos, Pierangela Samarati (eds.) |
Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings  |
STM  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir |
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC.  |
FSE  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Ambrona, Gilles Barthe, Benedikt Schmidt |
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.  |
EUROCRYPT (2)  |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Alberto Pardo, Gerardo Schneider |
SEFM: software engineering and formal methods.  |
Software and Systems Modeling  |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 282 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|