Adrià Gascón

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 68

Top Topics

Distributed Data

Vertically Partitioned

Differential Privacy

Top Venues

IACR Cryptol. ePrint Arch.

Proc. Priv. Enhancing Technol.

Publications

Lennart Braun, Adrià Gascón, Mariana Raykova, Phillipp Schoppmann, Karn Seth
Malicious Security for Sparse Private Histograms. IACR Cryptol. ePrint Arch. 2024 (2024)
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
Confidential Federated Computations. CoRR (2024)
James Bell-Clark, Adrià Gascón, Baiyu Li, Mariana Raykova, Phillipp Schoppmann
Willow: Secure Aggregation with One-Shot Clients. IACR Cryptol. ePrint Arch. 2024 (2024)
Adrià Gascón, Yuval Ishai, Mahimna Kelkar, Baiyu Li, Yiping Ma, Mariana Raykova
Computationally Secure Aggregation and Private Information Retrieval in the Shuffle Model. IACR Cryptol. ePrint Arch. 2024 (2024)
Ziteng Sun, Peter Kairouz, Haicheng Sun, Adrià Gascón, Ananda Theertha Suresh
Private federated discovery of out-of-vocabulary words for Gboard. CoRR (2024)
James Bell, Adrià Gascón, Tancrède Lepoint, Baiyu Li, Sarah Meiklejohn, Mariana Raykova, Cathie Yun
ACORN: Input Validation for Secure Aggregation. USENIX Security Symposium (2023)
Borja Balle, James Bell, Adrià Gascón
Amplification by Shuffling without Shuffling. CoRR (2023)
Adrià Gascón, Peter Kairouz, Ziteng Sun, Ananda Theertha Suresh
Federated Heavy Hitter Recovery under Linear Sketching. CoRR (2023)
Adrià Gascón, Peter Kairouz, Ziteng Sun, Ananda Theertha Suresh
Federated Heavy Hitter Recovery under Linear Sketching. ICML (2023)
Borja Balle, James Bell, Adrià Gascón
Amplification by Shuffling without Shuffling. CCS (2023)
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
UN Handbook on Privacy-Preserving Computation Techniques. CoRR (2023)
Eugene Bagdasaryan, Peter Kairouz, Stefan Mellem, Adrià Gascón, Kallista A. Bonawitz, Deborah Estrin, Marco Gruteser
Towards Sparse Federated Analytics: Location Heatmaps under Distributed Differential Privacy with Secure Aggregation. Proc. Priv. Enhancing Technol. 2022 (4) (2022)
James Bell, Adrià Gascón, Tancrède Lepoint, Baiyu Li, Sarah Meiklejohn, Mariana Raykova, Cathie Yun
ACORN: Input Validation for Secure Aggregation. IACR Cryptol. ePrint Arch. 2022 (2022)
James Bell, Adrià Gascón, Badih Ghazi, Ravi Kumar, Pasin Manurangsi, Mariana Raykova, Phillipp Schoppmann
Distributed, Private, Sparse Histograms in the Two-Server Model. IACR Cryptol. ePrint Arch. 2022 (2022)
James Bell, Adrià Gascón, Badih Ghazi, Ravi Kumar, Pasin Manurangsi, Mariana Raykova, Phillipp Schoppmann
Distributed, Private, Sparse Histograms in the Two-Server Model. CCS (2022)
Nitin Agrawal, James Bell, Adrià Gascón, Matt J. Kusner
MPC-Friendly Commitments for Publicly Verifiable Covert Security. IACR Cryptol. ePrint Arch. 2022 (2022)
Eugene Bagdasaryan, Peter Kairouz, Stefan Mellem, Adrià Gascón, Kallista A. Bonawitz, Deborah Estrin, Marco Gruteser
Towards Sparse Federated Analytics: Location Heatmaps under Distributed Differential Privacy with Secure Aggregation. CoRR (2021)
Brooks Paige, James Bell, Aurélien Bellet, Adrià Gascón, Daphne Ezer
Reconstructing Genotypes in Private Genomic Databases from Genetic Risk Scores. J. Comput. Biol. 28 (5) (2021)
David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL. J. Autom. Reason. 65 (4) (2021)
Nitin Agrawal, James Bell, Adrià Gascón, Matt J. Kusner
MPC-Friendly Commitments for Publicly Verifiable Covert Security. CoRR (2021)
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
Advances and Open Problems in Federated Learning. Found. Trends Mach. Learn. 14 (1-2) (2021)
Nitin Agrawal, James Bell, Adrià Gascón, Matt J. Kusner
MPC-Friendly Commitments for Publicly Verifiable Covert Security. CCS (2021)
Brooks Paige, James Bell, Aurélien Bellet, Adrià Gascón, Daphne Ezer
Reconstructing Genotypes in Private Genomic Databases from Genetic Risk Scores. RECOMB (2020)
Ali Shahin Shamsabadi, Adrià Gascón, Hamed Haddadi, Andrea Cavallaro
PrivEdge: From Local to Distributed Private Training and Prediction. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Judith Clymo, Adrià Gascón, Brooks Paige, Nathanaël Fijalkow, Haik Manukian
Data Generation for Neural Programming by Example. AISTATS (2020)
Ali Shahin Shamsabadi, Adrià Gascón, Hamed Haddadi, Andrea Cavallaro
PrivEdge: From Local to Distributed Private Training and Prediction. CoRR (2020)
James Henry Bell, Kallista A. Bonawitz, Adrià Gascón, Tancrède Lepoint, Mariana Raykova
Secure Single-Server Aggregation with (Poly)Logarithmic Overhead. CCS (2020)
Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim
Private Summation in the Multi-Message Shuffle Model. CCS (2020)
Phillipp Schoppmann, Lennart Vogelsang, Adrià Gascón, Borja Balle
Secure and Scalable Document Similarity on Distributed Databases: Differential Privacy to the Rescue. Proc. Priv. Enhancing Technol. 2020 (2) (2020)
James Bell, Aurélien Bellet, Adrià Gascón, Tejas Kulkarni
Private Protocols for U-Statistics in the Local Model and Beyond. AISTATS (2020)
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
Grammar-Based Compression of Unranked Trees. Theory Comput. Syst. 64 (1) (2020)
Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim
Private Summation in the Multi-Message Shuffle Model. CoRR (2020)
James Bell, Kallista A. Bonawitz, Adrià Gascón, Tancrède Lepoint, Mariana Raykova
Secure Single-Server Aggregation with (Poly)Logarithmic Overhead. IACR Cryptol. ePrint Arch. 2020 (2020)
David Butler, David Aspinall, Adrià Gascón
Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL. CPP (2020)
Phillipp Schoppmann, Adrià Gascón, Leonie Reichert, Mariana Raykova
Distributed Vector-OLE: Improved Constructions and Implementation. CCS (2019)
Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim
Improved Summation from Shuffling. CoRR (2019)
James Bell, Aurélien Bellet, Adrià Gascón, Tejas Kulkarni
Private Protocols for U-Statistics in the Local Model and Beyond. CoRR (2019)
David Butler, David Aspinall, Adrià Gascón
On the Formalisation of Σ-Protocols and Commitment Schemes. POST (2019)
Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim
The Privacy Blanket of the Shuffle Model. CoRR (2019)
Phillipp Schoppmann, Adrià Gascón, Leonie Reichert, Mariana Raykova
Distributed Vector-OLE: Improved Constructions and Implementation. IACR Cryptol. ePrint Arch. 2019 (2019)
Judith Clymo, Haik Manukian, Nathanaël Fijalkow, Adrià Gascón, Brooks Paige
Data Generation for Neural Programming by Example. CoRR (2019)
Nitin Agrawal, Ali Shahin Shamsabadi, Matt J. Kusner, Adrià Gascón
QUOTIENT: Two-Party Secure Neural Network Training and Prediction. CCS (2019)
Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim
The Privacy Blanket of the Shuffle Model. CRYPTO (2) (2019)
Nitin Agrawal, Ali Shahin Shamsabadi, Matt J. Kusner, Adrià Gascón
QUOTIENT: Two-Party Secure Neural Network Training and Prediction. CoRR (2019)
Borja Balle, James Bell, Adrià Gascón, Kobbi Nissim
Differentially Private Summation with Multi-Message Shuffling. CoRR (2019)
Phillipp Schoppmann, Adrià Gascón, Mariana Raykova, Benny Pinkas
Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning. CCS (2019)
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
Advances and Open Problems in Federated Learning. CoRR (2019)
David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
Formalising Σ-Protocols and Commitment Schemes using CryptHOL. IACR Cryptol. ePrint Arch. 2019 (2019)
Phillipp Schoppmann, Adrià Gascón, Mariana Raykova, Benny Pinkas
Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning. IACR Cryptol. ePrint Arch. 2019 (2019)
David Butler, David Aspinall, Adrià Gascón
Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL. IACR Cryptol. ePrint Arch. 2019 (2019)
Borja Balle, Adrià Gascón, Olya Ohrimenko, Mariana Raykova, Phillipp Schoppmann, Carmela Troncoso
PPML '19: Privacy Preserving Machine Learning. CCS (2019)
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
Grammar-Based Compression of Unranked Trees. CSR (2018)
Phillipp Schoppmann, Adrià Gascón, Borja Balle
Private Nearest Neighbors Classification in Federated Databases. IACR Cryptol. ePrint Arch. 2018 (2018)
Niki Kilbertus, Adrià Gascón, Matt J. Kusner, Michael Veale, Krishna P. Gummadi, Adrian Weller
Blind Justice: Fairness with Encrypted Sensitive Attributes. CoRR (2018)
Jon Crowcroft, Adrià Gascón
Analytics without Tears or Is There a Way for Data to Be Anonymized and Yet Still Useful? IEEE Internet Comput. 22 (3) (2018)
Amartya Sanyal, Matt J. Kusner, Adrià Gascón, Varun Kanade
TAPAS: Tricks to Accelerate (encrypted) Prediction As a Service. ICML (2018)
Niki Kilbertus, Adrià Gascón, Matt J. Kusner, Michael Veale, Krishna P. Gummadi, Adrian Weller
Blind Justice: Fairness with Encrypted Sensitive Attributes. ICML (2018)
Amartya Sanyal, Matt J. Kusner, Adrià Gascón, Varun Kanade
TAPAS: Tricks to Accelerate (encrypted) Prediction As a Service. CoRR (2018)
Adrià Gascón, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber
Grammar-based Compression of Unranked Trees. CoRR (2018)
David Butler, David Aspinall, Adrià Gascón
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. CoRR (2018)
Adrià Gascón, Phillipp Schoppmann, Borja Balle, Mariana Raykova, Jack Doerner, Samee Zahur, David Evans
Privacy-Preserving Distributed Linear Regression on High-Dimensional Data. Proc. Priv. Enhancing Technol. 2017 (4) (2017)
Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. CAV (2) (2017)
David Butler, David Aspinall, Adrià Gascón
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. ITP (2017)
Peter Buneman, Adrià Gascón, Dave Murray-Rust
Composition and Substitution in Provenance and Workflows. TaPP (2016)
Adrià Gascón, Phillipp Schoppmann, Borja Balle, Mariana Raykova, Jack Doerner, Samee Zahur, David Evans
Secure Linear Regression on Vertically Partitioned Datasets. IACR Cryptol. ePrint Arch. 2016 (2016)
Rui Abreu, Dave Archer, Erin Chapman, James Cheney, Hoda Eldardiry, Adrià Gascón
Provenance Segmentation. TaPP (2016)
Samee Zahur, Xiao Wang, Mariana Raykova, Adrià Gascón, Jack Doerner, David Evans, Jonathan Katz
Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation. IEEE Symposium on Security and Privacy (2016)
Carles Creus, Adrià Gascón, Guillem Godoy, Lander Ramos
The HOM Problem is EXPTIME-Complete. SIAM J. Comput. 45 (4) (2016)
Ashish Tiwari, Adrià Gascón, Bruno Dutertre
Program Synthesis Using Dual Interpretation. CADE (2015)
Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß
One Context Unification Problems Solvable in Polynomial Time. LICS (2015)
Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari
Two-Restricted One Context Unification is in Polynomial Time. CSL (2015)
Adrià Gascón, Ashish Tiwari
Synthesis of a simple self-stabilizing system. SYNT (2014)
Adrià Gascón, Ashish Tiwari
A Synthesized Algorithm for Interactive Consistency. NASA Formal Methods (2014)
Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2 (1) (2014)
Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
Template-based circuit understanding. FMCAD (2014)
Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia
WordRev: Finding word-level structures in a sea of bit-level gates. HOST (2013)
Carles Creus, Adrià Gascón, Guillem Godoy
Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints. J. Autom. Reason. 51 (4) (2013)
Carles Creus, Adrià Gascón, Guillem Godoy
One-context Unification with STG-Compressed Terms is in NP. RTA (2012)
Carles Creus, Adrià Gascón, Guillem Godoy, Lander Ramos
The HOM Problem is EXPTIME-Complete. LICS (2012)
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
Unification and matching on compressed terms. ACM Trans. Comput. Log. 12 (4) (2011)
Adrià Gascón, Sebastian Maneth, Lander Ramos
First-Order Unification on Compressed Terms. RTA (2011)
Marta Arias, Carles Creus, Adrià Gascón, Guillem Godoy
Learning Theory through Videos - A Teaching Experience in a Theoretical Course based on Self-learning Videos and Problem-solving Sessions. CSEDU (2) (2011)
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari
Context unification with one context variable. J. Symb. Comput. 45 (2) (2010)
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
Unification and Matching on Compressed Terms CoRR (2010)
Adrià Gascón, Guillem Godoy, Florent Jacquemard
Closure of Tree Automata Languages under Innermost Rewriting. Electron. Notes Theor. Comput. Sci. 237 (2009)
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
Unification with Singleton Tree Grammars. RTA (2009)
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
Context Matching for Compressed Terms. LICS (2008)