Adrià Gascón

According to our database, Adrià Gascón authored at least 64 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Computationally Secure Aggregation and Private Information Retrieval in the Shuffle Model.

Adrià Gascón, Yuval Ishai, Mahimna Kelkar, Baiyu Li, Yiping Ma, Mariana Raykova

IACR Cryptol. ePrint Arch., 2024

Malicious Security for Sparse Private Histograms.

Lennart Braun, Adrià Gascón, Mariana Raykova, Phillipp Schoppmann, Karn Seth

IACR Cryptol. ePrint Arch., 2024

Willow: Secure Aggregation with One-Shot Clients.

James Bell-Clark, Adrià Gascón, Baiyu Li, Mariana Raykova, Phillipp Schoppmann

IACR Cryptol. ePrint Arch., 2024

Secure Stateful Aggregation: A Practical Protocol with Applications in Differentially-Private Federated Learning.

Marshall Ball, James Bell-Clark, Adrià Gascón, Peter Kairouz, Sewoong Oh, Zhiye Xie

IACR Cryptol. ePrint Arch., 2024

Private federated discovery of out-of-vocabulary words for Gboard.

Ziteng Sun, Peter Kairouz, Haicheng Sun, Adrià Gascón, Ananda Theertha Suresh

CoRR, 2024

Confidential Federated Computations.

Hubert Eichner, Daniel Ramage, Kallista A. Bonawitz, Dzmitry Huba, Tiziano Santoro, Brett McLarnon, Timon Van Overveldt, Nova Fallen, Peter Kairouz, Albert Cheu, Katharine Daly, Adrià Gascón, Marco Gruteser, Brendan McMahan

CoRR, 2024

2023

UN Handbook on Privacy-Preserving Computation Techniques.

David W. Archer, Borja de Balle Pigem, Dan Bogdanov, Mark Craddock, Adrià Gascón, Ronald Jansen, Matjaz Jug, Kim Laine, Robert McLellan, Olga Ohrimenko, Mariana Raykova, Andrew Trask, Simon Wardley

CoRR, 2023

Federated Heavy Hitter Recovery under Linear Sketching.

Adrià Gascón, Peter Kairouz, Ziteng Sun, Ananda Theertha Suresh

Proceedings of the International Conference on Machine Learning, 2023

Amplification by Shuffling without Shuffling.

Borja Balle, James Bell, Adrià Gascón

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Towards Sparse Federated Analytics: Location Heatmaps under Distributed Differential Privacy with Secure Aggregation.

Eugene Bagdasaryan, Peter Kairouz, Stefan Mellem, Adrià Gascón, Kallista A. Bonawitz, Deborah Estrin, Marco Gruteser

Proc. Priv. Enhancing Technol., 2022

ACORN: Input Validation for Secure Aggregation.

James Bell, Adrià Gascón, Tancrède Lepoint, Baiyu Li, Sarah Meiklejohn, Mariana Raykova, Cathie Yun

IACR Cryptol. ePrint Arch., 2022

MPC-Friendly Commitments for Publicly Verifiable Covert Security.

Nitin Agrawal, James Bell, Adrià Gascón, Matt J. Kusner

IACR Cryptol. ePrint Arch., 2022

Distributed, Private, Sparse Histograms in the Two-Server Model.

James Bell, Adrià Gascón, Badih Ghazi, Ravi Kumar, Pasin Manurangsi, Mariana Raykova, Phillipp Schoppmann

IACR Cryptol. ePrint Arch., 2022

2021

Reconstructing Genotypes in Private Genomic Databases from Genetic Risk Scores.

Brooks Paige, James Bell, Aurélien Bellet, Adrià Gascón, Daphne Ezer

J. Comput. Biol., May, 2021

Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL.

David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón

J. Autom. Reason., 2021

Advances and Open Problems in Federated Learning.

Peter Kairouz, H. Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A. Bonawitz, Zachary Charles, Graham Cormode, Rachel Cummings, Rafael G. L. D'Oliveira, Hubert Eichner, Salim El Rouayheb, David Evans, Josh Gardner, Zachary Garrett, Adrià Gascón, Badih Ghazi, Phillip B. Gibbons, Marco Gruteser, Zaïd Harchaoui, Chaoyang He, Lie He, Zhouyuan Huo, Ben Hutchinson, Justin Hsu, Martin Jaggi, Tara Javidi, Gauri Joshi, Mikhail Khodak, Jakub Konecný, Aleksandra Korolova, Farinaz Koushanfar, Sanmi Koyejo, Tancrède Lepoint, Yang Liu, Prateek Mittal, Mehryar Mohri, Richard Nock, Ayfer Özgür, Rasmus Pagh, Hang Qi, Daniel Ramage, Ramesh Raskar, Mariana Raykova, Dawn Song, Weikang Song, Sebastian U. Stich, Ziteng Sun, Ananda Theertha Suresh, Florian Tramèr, Praneeth Vepakomma, Jianyu Wang, Li Xiong, Zheng Xu, Qiang Yang, Felix X. Yu, Han Yu, Sen Zhao

Found. Trends Mach. Learn., 2021

2020

PrivEdge: From Local to Distributed Private Training and Prediction.

Ali Shahin Shamsabadi, Adrià Gascón, Hamed Haddadi, Andrea Cavallaro

IEEE Trans. Inf. Forensics Secur., 2020

Secure and Scalable Document Similarity on Distributed Databases: Differential Privacy to the Rescue.

Phillipp Schoppmann, Lennart Vogelsang, Adrià Gascón, Borja Balle

Proc. Priv. Enhancing Technol., 2020

Grammar-Based Compression of Unranked Trees.

Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber

Theory Comput. Syst., 2020

Secure Single-Server Aggregation with (Poly)Logarithmic Overhead.

James Bell, Kallista A. Bonawitz, Adrià Gascón, Tancrède Lepoint, Mariana Raykova

IACR Cryptol. ePrint Arch., 2020

Private Summation in the Multi-Message Shuffle Model.

Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

Data Generation for Neural Programming by Example.

Judith Clymo, Adrià Gascón, Brooks Paige, Nathanaël Fijalkow, Haik Manukian

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

Private Protocols for U-Statistics in the Local Model and Beyond.

James Bell, Aurélien Bellet, Adrià Gascón, Tejas Kulkarni

Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019

Distributed Vector-OLE: Improved Constructions and Implementation.

Phillipp Schoppmann, Adrià Gascón, Leonie Reichert, Mariana Raykova

IACR Cryptol. ePrint Arch., 2019

Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning.

Phillipp Schoppmann, Adrià Gascón, Mariana Raykova, Benny Pinkas

IACR Cryptol. ePrint Arch., 2019

Formalising Σ-Protocols and Commitment Schemes using CryptHOL.

David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón

IACR Cryptol. ePrint Arch., 2019

Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL.

David Butler, David Aspinall, Adrià Gascón

IACR Cryptol. ePrint Arch., 2019

Advances and Open Problems in Federated Learning.

Peter Kairouz, H. Brendan McMahan, Brendan Avent, Aurélien Bellet, Mehdi Bennis, Arjun Nitin Bhagoji, Kallista A. Bonawitz, Zachary Charles, Graham Cormode, Rachel Cummings, Rafael G. L. D'Oliveira, Salim El Rouayheb, David Evans, Josh Gardner, Zachary Garrett, Adrià Gascón, Badih Ghazi, Phillip B. Gibbons, Marco Gruteser, Zaïd Harchaoui, Chaoyang He, Lie He, Zhouyuan Huo, Ben Hutchinson, Justin Hsu, Martin Jaggi, Tara Javidi, Gauri Joshi, Mikhail Khodak, Jakub Konecný, Aleksandra Korolova, Farinaz Koushanfar, Sanmi Koyejo, Tancrède Lepoint, Yang Liu, Prateek Mittal, Mehryar Mohri, Richard Nock, Ayfer Özgür, Rasmus Pagh, Mariana Raykova, Hang Qi, Daniel Ramage, Ramesh Raskar, Dawn Song, Weikang Song, Sebastian U. Stich, Ziteng Sun, Ananda Theertha Suresh, Florian Tramèr, Praneeth Vepakomma, Jianyu Wang, Li Xiong, Zheng Xu, Qiang Yang, Felix X. Yu, Han Yu, Sen Zhao

CoRR, 2019

Improved Summation from Shuffling.

Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim

CoRR, 2019

Differentially Private Summation with Multi-Message Shuffling.

Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim

CoRR, 2019

On the Formalisation of Σ-Protocols and Commitment Schemes.

David Butler, David Aspinall, Adrià Gascón

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

The Privacy Blanket of the Shuffle Model.

Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim

Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

PPML '19: Privacy Preserving Machine Learning.

Borja Balle, Adrià Gascón, Olya Ohrimenko, Mariana Raykova, Phillipp Schoppmann, Carmela Troncoso

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

QUOTIENT: Two-Party Secure Neural Network Training and Prediction.

Nitin Agrawal, Ali Shahin Shamsabadi, Matt J. Kusner, Adrià Gascón

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Analytics without Tears or Is There a Way for Data to Be Anonymized and Yet Still Useful?

Jon Crowcroft, Adrià Gascón

IEEE Internet Comput., 2018

Private Nearest Neighbors Classification in Federated Databases.

Phillipp Schoppmann, Adrià Gascón, Borja Balle

IACR Cryptol. ePrint Arch., 2018

TAPAS: Tricks to Accelerate (encrypted) Prediction As a Service.

Amartya Sanyal, Matt J. Kusner, Adrià Gascón, Varun Kanade

Proceedings of the 35th International Conference on Machine Learning, 2018

Blind Justice: Fairness with Encrypted Sensitive Attributes.

Niki Kilbertus, Adrià Gascón, Matt J. Kusner, Michael Veale, Krishna P. Gummadi, Adrian Weller

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

Privacy-Preserving Distributed Linear Regression on High-Dimensional Data.

Adrià Gascón, Phillipp Schoppmann, Borja Balle, Mariana Raykova, Jack Doerner, Samee Zahur, David Evans

Proc. Priv. Enhancing Technol., 2017

How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation.

David Butler, David Aspinall, Adrià Gascón

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis.

Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

The HOM Problem is EXPTIME-Complete.

Carles Creus, Adrià Gascón, Guillem Godoy, Lander Ramos

SIAM J. Comput., 2016

Secure Linear Regression on Vertically Partitioned Datasets.

Adrià Gascón, Phillipp Schoppmann, Borja Balle, Mariana Raykova, Jack Doerner, Samee Zahur, David Evans

IACR Cryptol. ePrint Arch., 2016

Composition and Substitution in Provenance and Workflows.

Peter Buneman, Adrià Gascón, Dave Murray-Rust

Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

Provenance Segmentation.

Rui Abreu, Dave Archer, Erin Chapman, James Cheney, Hoda Eldardiry, Adrià Gascón

Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation.

Samee Zahur, Xiao Wang, Mariana Raykova, Adrià Gascón, Jack Doerner, David Evans, Jonathan Katz

Proceedings of the IEEE Symposium on Security and Privacy, 2016

2015

One Context Unification Problems Solvable in Polynomial Time.

Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Two-Restricted One Context Unification is in Polynomial Time.

Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

Program Synthesis Using Dual Interpretation.

Ashish Tiwari, Adrià Gascón, Bruno Dutertre

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Variants of unification considering compression and context variables.

Adrià Gascón

PhD thesis, 2014

Reverse Engineering Digital Circuits Using Structural and Functional Analyses.

Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik

IEEE Trans. Emerg. Top. Comput., 2014

Synthesis of a simple self-stabilizing system.

Adrià Gascón, Ashish Tiwari

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

A Synthesized Algorithm for Interactive Consistency.

Adrià Gascón, Ashish Tiwari

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Template-based circuit understanding.

Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints.

Carles Creus, Adrià Gascón, Guillem Godoy

J. Autom. Reason., 2013

WordRev: Finding word-level structures in a sea of bit-level gates.

Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia

Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, 2013

2012

One-context Unification with STG-Compressed Terms is in NP.

Carles Creus, Adrià Gascón, Guillem Godoy

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2011

Unification and matching on compressed terms.

Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß

ACM Trans. Comput. Log., 2011

First-Order Unification on Compressed Terms.

Adrià Gascón, Sebastian Maneth, Lander Ramos

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions.

Marta Arias, Carles Creus, Adrià Gascón, Guillem Godoy

Proceedings of the CSEDU 2011, 2011

2010

Context unification with one context variable.

Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari

J. Symb. Comput., 2010

2009

Unification with Singleton Tree Grammars.

Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

Closure of Tree Automata Languages under Innermost Rewriting.

Adrià Gascón, Guillem Godoy, Florent Jacquemard

Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008

Context Matching for Compressed Terms.

Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008