Details

Rank:	#33 Worldwide #7 in Europe
Papers:	78
Number of Researchers:	36
APA (average papers per authors):	2.2
Country:	SPAIN

"Formally Certifying the Security of Digital Signature Schemes"

Gilles Barthe, ... -- Oakland 2009

"Computational indistinguishability logic"

Gilles Barthe, ... -- CCS 2010

"Verification of Information Flow and Access Control Policies via Dependent Types"

Aleksandar Nanevski, Anindya Banerjee, ... -- Oakland 2011

"Differential Slicing: Identifying Causal Execution Differences for Security Applications"

Juan Caballero, ... -- Oakland 2011

"Measuring Pay-per-Install: The Commoditization of Malware Distribution"

Juan Caballero, ... -- Usenix 2011

"Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols"

Gilles Barthe, ... -- CCS 2012

"Manufacturing Compromise: The Emergence of Exploit-as-a-Service"

Juan Caballero, Antonio Nappa, M. Zubair Rafique, ... -- CCS 2012

"Verified Security of Redundancy-Free Encryption from Rabin and RSA"

Gilles Barthe, ... -- CCS 2012

"Preventing Side-channel Leaks in Web Traffic: A Formal Approach"

Goran Doychev, Boris Kopf, ... -- NDSS 2013

"Implementing TLS with Verified Cryptographic Security"

Pierre-Yves Strub, ... -- Oakland 2013

"Certified Computer-Aided Cryptography: Efficient Provably Secure Machine Code from High-Level Implementations"

Gilles Barthe, Francois Dupressoir, ... -- CCS 2013

"Fully Automated Analysis of Padding-Based Encryption in the Computational Model"

Gilles Barthe, Juan Manuel Crespo, Cesar Kunz, Benedikt Schmidt, ... -- CCS 2013

"CacheAudit: A Tool for the Static Analysis of Cache Side Channels"

Goran Doychev, Boris Kopf, Laurent Mauborgne, ... -- Usenix 2013

"CyberProbe: Towards Internet-Scale Active Detection of Malicious Servers"

Antonio Nappa, M. Zubair Rafique, Juan Caballero, ... -- NDSS 2014

"Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS"

Pierre-Yves Strub, ... -- Oakland 2014

"Automated Verification of Group Key Agreement Protocols"

Benedikt Schmidt, ... -- Oakland 2014

"System-level non-interference for constant-time cryptography"

Gilles Barthe, ... -- CCS 2014

"Synthesis of Fault Attacks on Cryptographic Implementations"

Gilles Barthe, Francois Dupressoir, ... -- CCS 2014

"AutoProbe: Towards Automatic Active Malicious Server Probing Using Dynamic Binary Analysis"

Antonio Nappa, Juan Caballero, ... -- CCS 2014

"Efficiently Verifiable Computation on Encrypted Data"

Dario Fiore, ... -- CCS 2014

"A Messy State of the Union: Taming the Composite State Machines of TLS"

Pierre-Yves Strub, ... -- Oakland 2015

"ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data"

Dario Fiore, ... -- Oakland 2015

"Ad Injection at Scale: Assessing Deceptive Advertisement Modifications"

Antonio Nappa, ... -- Oakland 2015

"The Attack of the Clones: A Study of the Impact of Shared Code on Vulnerability Patching"

Antonio Nappa, Juan Caballero, ... -- Oakland 2015

"Using Linearly-Homomorphic Encryption to Evaluate Degree-2 Functions on Encrypted Data"

Dario Fiore, ... -- CCS 2015

"Certified PUP: Abuse in Authenticode Code Signing"

Platon Kotzias, Richard Rivera, Juan Caballero, ... -- CCS 2015

"Caronte: Detecting Location Leaks for Deanonymizing Tor Hidden Services"

Platon Kotzias, Juan Caballero, ... -- CCS 2015

"Automated Proofs of Pairing-Based Cryptography"

Gilles Barthe, Benedikt Schmidt, ... -- CCS 2015

"Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3"

Benedikt Schmidt, ... -- Oakland 2016

"Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data"

Dario Fiore, ... -- CCS 2016

"Differentially Private Bayesian Programming"

Gilles Barthe, Pierre-Yves Strub, ... -- CCS 2016

"Advanced Probabilistic Couplings for Differential Privacy"

Gilles Barthe, Noemie Fong, Pierre-Yves Strub, ... -- CCS 2016

"Strong non-interference and type-directed masking"

Gilles Barthe, Francois Dupressoir, Pierre-Yves Strub, ... -- CCS 2016

"Verifying constant-time implementations"

Gilles Barthe, Francois Dupressoir, Michael Emmi, ... -- Usenix 2016

"Measuring PUP Prevalence and PUP Distribution through Pay-Per-Install Services"

Platon Kotzias, Juan Caballero, ... -- Usenix 2016

"Dissecting Tor Bridges: A Security Evaluation of their Private and Public Infrastructures"

Srdjan Matic, Carmela Troncoso, Juan Caballero, ... -- NDSS 2017

"A Lustrum of Malware Network Communication: Evolution and Insights"

Platon Kotzias, Juan Caballero, ... -- Oakland 2017

"Machine-Checked Proofs of Privacy for Electronic Voting Protocols"

Benedikt Schmidt, ... -- Oakland 2017

"A Fast and Verified Software Stack for Secure Function Evaluation"

Gilles Barthe, Vincent Laporte, ... -- CCS 2017

"Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions"

Miguel Ambrona, Gilles Barthe, ... -- CCS 2017

"Back to the drawing board: Revisiting the design of optimal location privacy-preserving mechanisms"

Carmela Troncoso, ... -- CCS 2017

"Jasmin: High-Assurance and High-Speed Cryptography"

Gilles Barthe, Vincent Laporte, Benedikt Schmidt, ... -- CCS 2017

"Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services"

Luca Nizzardo, ... -- CCS 2017

"Loophole: Timing Attacks on Shared Event Loops in Chrome"

Pepe Vila, Boris Kopf, ... -- Usenix 2017

"Knock Knock, Who's There? Membership Inference on Aggregate Location Data."

Carmela Troncoso, ... -- NDSS 2018

"Pinpointing Insecure Cryptographic Keys from Execution Traces"

Juan Caballero, ... -- CCS 2018

"Symbolic Proofs for Lattice-Based Cryptography"

Gilles Barthe, ... -- CCS 2018

"Mind your Own Business: A Longitudinal Study of Threats and Vulnerabilities in Enterprises"

Platon Kotzias, Juan Caballero, ... -- NDSS 2019

"Theory and Practice of Finding Eviction Sets"

Pepe Vila, Jose F. Morales, ... -- Oakland 2019

"A Machine-Checked Proof of Security for AWS Key Management Service"

Gilles Barthe, ... -- CCS 2019

"GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited"

Gilles Barthe, ... -- CCS 2019

"LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs"

Matteo Campanelli, Dario Fiore, Anais Querol, ... -- CCS 2019

"Machine-Checked Proofs for Cryptographic Standards"

Gilles Barthe, ... -- CCS 2019

"Cross-Origin State Inference (COSI) Attacks: Leaking Web Site States through XS-Leaks"

Avinash Sudhodanan, Juan Caballero, ... -- NDSS 2020

"Spectector: Principled Detection of Speculative Information Flows"

Marco Guarnieri, Jose F. Morales, Andres Sanchez, ... -- Oakland 2020

"The Last Mile: High-Assurance and High-Speed Cryptographic Implementations"

Gilles Barthe, ... -- Oakland 2020

"Towards Attribution in Mobile Markets: Identifying Developer Account Polymorphism"

Silvia Sebastian, Juan Caballero, ... -- CCS 2020

"A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs"

Pedro Moreno-Sanchez, ... -- Oakland 2021

"Hardware-Software Contracts for Secure Speculation"

Marco Guarnieri, Pepe Vila, ... -- Oakland 2021

"High-Assurance Cryptography in the Spectre Era"

Gilles Barthe, ... -- Oakland 2021

"How Did That Get In My Phone? Unwanted App Distribution on Android Devices"

Juan Caballero, ... -- Oakland 2021

"SoK: Computer-Aided Cryptography"

Gilles Barthe, ... -- Oakland 2021

"Exorcising Spectres with Secure Compilers"

Marco Guarnieri, ... -- CCS 2021

"Mechanized Proofs of Adversarial Complexity and Application to Universal Composability"

Gilles Barthe, ... -- CCS 2021

"Structured Leakage and Applications to Cryptographic Constant-Time and Cost"

Gilles Barthe, ... -- CCS 2021

"EasyPQC: Verifying Post-Quantum Cryptography"

Gilles Barthe, ... -- CCS 2021

"Blitz: Secure Multi-Hop Payments Without Two-Phase Commits"

Pedro Moreno-Sanchez, ... -- Usenix 2021

""They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks"

Gilles Barthe, ... -- Oakland 2022

"SoK: Practical Foundations for Software Spectre Defenses"

Gilles Barthe, ... -- Oakland 2022

"Universal Atomic Swaps: Secure Exchange of Coins Across All Blockchains"

Pedro Moreno-Sanchez, ... -- Oakland 2022

"Automatic Detection of Speculative Execution Combinations"

Marco Guarnieri, ... -- CCS 2022

"Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams"

Dario Fiore, Ida Tucker, ... -- CCS 2022

"Enforcing Fine-grained Constant-time Policies"

Gilles Barthe, ... -- CCS 2022

"Foundations of Coin Mixing Services"

Pedro Moreno-Sanchez, ... -- CCS 2022

"Sleepy Channels: Bi-directional Payment Channels without Watchtowers"

Pedro Moreno-Sanchez, ... -- CCS 2022

"Succinct Zero-Knowledge Batch Proofs for Set Accumulators"

Dario Fiore, Dimitris Kolonelos, ... -- CCS 2022

"Tidy: Symbolic Verification of Timed Cryptographic Protocols"

Gilles Barthe, ... -- CCS 2022

"Watch Your Back: Identifying Cybercrime Financial Relationships in Bitcoin through Back-and-Forth Exploration"

Gibran Gomez, Pedro Moreno-Sanchez, Juan Caballero, ... -- CCS 2022

IMDEA Software Institute

General Info

Activity Map

Contributors

Papers

"Formally Certifying the Security of Digital Signature Schemes"

"Computational indistinguishability logic"

"Verification of Information Flow and Access Control Policies via Dependent Types"

"Differential Slicing: Identifying Causal Execution Differences for Security Applications"

"Measuring Pay-per-Install: The Commoditization of Malware Distribution"

"Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols"

"Manufacturing Compromise: The Emergence of Exploit-as-a-Service"

"Verified Security of Redundancy-Free Encryption from Rabin and RSA"

"Preventing Side-channel Leaks in Web Traffic: A Formal Approach"

"Implementing TLS with Verified Cryptographic Security"

"Certified Computer-Aided Cryptography: Efficient Provably Secure Machine Code from High-Level Implementations"

"Fully Automated Analysis of Padding-Based Encryption in the Computational Model"

"CacheAudit: A Tool for the Static Analysis of Cache Side Channels"

"CyberProbe: Towards Internet-Scale Active Detection of Malicious Servers"

"Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS"

"Automated Verification of Group Key Agreement Protocols"

"System-level non-interference for constant-time cryptography"

"Synthesis of Fault Attacks on Cryptographic Implementations"

"AutoProbe: Towards Automatic Active Malicious Server Probing Using Dynamic Binary Analysis"

"Efficiently Verifiable Computation on Encrypted Data"

"A Messy State of the Union: Taming the Composite State Machines of TLS"

"ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data"

"Ad Injection at Scale: Assessing Deceptive Advertisement Modifications"

"The Attack of the Clones: A Study of the Impact of Shared Code on Vulnerability Patching"

"Using Linearly-Homomorphic Encryption to Evaluate Degree-2 Functions on Encrypted Data"

"Certified PUP: Abuse in Authenticode Code Signing"

"Caronte: Detecting Location Leaks for Deanonymizing Tor Hidden Services"

"Automated Proofs of Pairing-Based Cryptography"

"Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3"

"Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data"

"Differentially Private Bayesian Programming"

"Advanced Probabilistic Couplings for Differential Privacy"

"Strong non-interference and type-directed masking"

"Verifying constant-time implementations"

"Measuring PUP Prevalence and PUP Distribution through Pay-Per-Install Services"

"Dissecting Tor Bridges: A Security Evaluation of their Private and Public Infrastructures"

"A Lustrum of Malware Network Communication: Evolution and Insights"

"Machine-Checked Proofs of Privacy for Electronic Voting Protocols"

"A Fast and Verified Software Stack for Secure Function Evaluation"

"Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions"

"Back to the drawing board: Revisiting the design of optimal location privacy-preserving mechanisms"

"Jasmin: High-Assurance and High-Speed Cryptography"

"Zero-Knowledge Contingent Payments Revisited: Attacks and Payments for Services"

"Loophole: Timing Attacks on Shared Event Loops in Chrome"

"Knock Knock, Who's There? Membership Inference on Aggregate Location Data."

"Pinpointing Insecure Cryptographic Keys from Execution Traces"

"Symbolic Proofs for Lattice-Based Cryptography"

"Mind your Own Business: A Longitudinal Study of Threats and Vulnerabilities in Enterprises"

"Theory and Practice of Finding Eviction Sets"

"A Machine-Checked Proof of Security for AWS Key Management Service"

"GALACTICS: Gaussian Sampling for Lattice-Based Constant-Time Implementation of Cryptographic Signatures, Revisited"

"LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs"

"Machine-Checked Proofs for Cryptographic Standards"

"Cross-Origin State Inference (COSI) Attacks: Leaking Web Site States through XS-Leaks"

"Spectector: Principled Detection of Speculative Information Flows"

"The Last Mile: High-Assurance and High-Speed Cryptographic Implementations"

"Towards Attribution in Mobile Markets: Identifying Developer Account Polymorphism"

"A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs"

"Hardware-Software Contracts for Secure Speculation"

"High-Assurance Cryptography in the Spectre Era"

"How Did That Get In My Phone? Unwanted App Distribution on Android Devices"

"SoK: Computer-Aided Cryptography"

"Exorcising Spectres with Secure Compilers"

"Mechanized Proofs of Adversarial Complexity and Application to Universal Composability"

"Structured Leakage and Applications to Cryptographic Constant-Time and Cost"

"EasyPQC: Verifying Post-Quantum Cryptography"

"Blitz: Secure Multi-Hop Payments Without Two-Phase Commits"

""They're not that hard to mitigate": What Cryptographic Library Developers Think About Timing Attacks"

"SoK: Practical Foundations for Software Spectre Defenses"

"Universal Atomic Swaps: Secure Exchange of Coins Across All Blockchains"

"Automatic Detection of Speculative Execution Combinations"

"Efficient Zero-Knowledge Proofs on Signed Data with Applications to Verifiable Computation on Data Streams"

"Enforcing Fine-grained Constant-time Policies"

"Foundations of Coin Mixing Services"

"Sleepy Channels: Bi-directional Payment Channels without Watchtowers"