Adrià Gascón

101 papers A* 20A 3B 5Misc 1Journal 57Unranked 14

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