Context Matching for Compressed Terms. - Adrià Gascón; Guillem Godoy; Manfred Schmidt-Schauß (LICS, 2008)

Closure of Tree Automata Languages under Innermost Rewriting. - Adrià Gascón; Guillem Godoy; Florent Jacquemard (WRS@RTA, 2008)

Unification with Singleton Tree Grammars. - Adrià Gascón; Guillem Godoy; Manfred Schmidt-Schauß (RTA, 2009)

Context unification with one context variable. - Adrià Gascón; Guillem Godoy; Manfred Schmidt-Schauß; Ashish Tiwari 001 (J. Symb. Comput., 2010)

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 (CSEDU (2), 2011)

First-Order Unification on Compressed Terms. - Adrià Gascón; Sebastian Maneth; Lander Ramos (RTA, 2011)

Unification and matching on compressed terms. - Adrià Gascón; Guillem Godoy; Manfred Schmidt-Schauß (ACM Trans. Comput. Log., 2011)

One-context Unification with STG-Compressed Terms is in NP. - Carles Creus; Adrià Gascón; Guillem Godoy (RTA, 2012)

WordRev: Finding word-level structures in a sea of bit-level gates. - Wenchao Li 001; Adrià Gascón; Pramod Subramanyan; Wei Yang Tan; Ashish Tiwari 001; Sharad Malik; Natarajan Shankar; Sanjit A. Seshia (HOST, 2013)

Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints. - Carles Creus; Adrià Gascón; Guillem Godoy (J. Autom. Reason., 2013)

Template-based circuit understanding. - Adrià Gascón; Pramod Subramanyan; Bruno Dutertre; Ashish Tiwari 001; Dejan Jovanovic; Sharad Malik (FMCAD, 2014)

A Synthesized Algorithm for Interactive Consistency. - Adrià Gascón; Ashish Tiwari 001 (NASA Formal Methods, 2014)

Synthesis of a simple self-stabilizing system. - Adrià Gascón; Ashish Tiwari 001 (SYNT, 2014)

Reverse Engineering Digital Circuits Using Structural and Functional Analyses. - Pramod Subramanyan; Nestan Tsiskaridze; Wenchao Li 001; Adrià Gascón; Wei Yang Tan; Ashish Tiwari 001; Natarajan Shankar; Sanjit A. Seshia; Sharad Malik (IEEE Trans. Emerg. Top. Comput., 2014)

Variants of unification considering compression and context variables. - Adrià Gascón (2014)

Program Synthesis Using Dual Interpretation. - Ashish Tiwari 001; Adrià Gascón; Bruno Dutertre (CADE, 2015)

Two-Restricted One Context Unification is in Polynomial Time. - Adrià Gascón; Manfred Schmidt-Schauß; Ashish Tiwari 001 (CSL, 2015)

One Context Unification Problems Solvable in Polynomial Time. - Adrià Gascón; Ashish Tiwari 001; Manfred Schmidt-Schauß (LICS, 2015)

Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation. - Samee Zahur; Xiao Wang 012; Mariana Raykova 001; Adrià Gascón; Jack Doerner; David Evans 001; Jonathan Katz (IEEE Symposium on Security and Privacy, 2016)

Provenance Segmentation. - Rui Abreu 001; Dave Archer 001; Erin Chapman; James Cheney; Hoda Eldardiry; Adrià Gascón (TaPP, 2016)

Composition and Substitution in Provenance and Workflows. - Peter Buneman; Adrià Gascón; Dave Murray-Rust (TaPP, 2016)

Secure Linear Regression on Vertically Partitioned Datasets. - Adrià Gascón; Phillipp Schoppmann; Borja Balle; Mariana Raykova 001; Jack Doerner; Samee Zahur; David Evans 001 (IACR Cryptol. ePrint Arch., 2016)

The HOM Problem is EXPTIME-Complete. - Carles Creus; Adrià Gascón; Guillem Godoy; Lander Ramos (SIAM J. Comput., 2016)

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. - Adrià Gascón; Ashish Tiwari 001; Brent Carmer; Umang Mathur 001 (CAV (2), 2017)

How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. - David Butler 002; David Aspinall 001; Adrià Gascón (ITP, 2017)

Privacy-Preserving Distributed Linear Regression on High-Dimensional Data. - Adrià Gascón; Phillipp Schoppmann; Borja Balle; Mariana Raykova 001; Jack Doerner; Samee Zahur; David Evans 001 (Proc. Priv. Enhancing Technol., 2017)

Blind Justice: Fairness with Encrypted Sensitive Attributes. - Niki Kilbertus; Adrià Gascón; Matt J. Kusner; Michael Veale; Krishna P. Gummadi; Adrian Weller (ICML, 2018)

TAPAS: Tricks to Accelerate (encrypted) Prediction As a Service. - Amartya Sanyal; Matt J. Kusner; Adrià Gascón; Varun Kanade (ICML, 2018)

Private Nearest Neighbors Classification in Federated Databases. - Phillipp Schoppmann; Adrià Gascón; Borja Balle (IACR Cryptol. ePrint Arch., 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)

QUOTIENT: Two-Party Secure Neural Network Training and Prediction. - Nitin Agrawal 002; Ali Shahin Shamsabadi; Matt J. Kusner; Adrià Gascón (CCS, 2019)

PPML '19: Privacy Preserving Machine Learning. - Borja Balle; Adrià Gascón; Olya Ohrimenko; Mariana Raykova 001; Phillipp Schoppmann; Carmela Troncoso (CCS, 2019)

The Privacy Blanket of the Shuffle Model. - Borja Balle; James Bell 001; Adrià Gascón; Kobbi Nissim (CRYPTO (2), 2019)

On the Formalisation of Σ-Protocols and Commitment Schemes. - David Butler 002; David Aspinall 001; Adrià Gascón (POST, 2019)

Differentially Private Summation with Multi-Message Shuffling. - Borja Balle; James Bell 001; Adrià Gascón; Kobbi Nissim (CoRR, 2019)

Improved Summation from Shuffling. - Borja Balle; James Bell 001; Adrià Gascón; Kobbi Nissim (CoRR, 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; et al. (CoRR, 2019)

Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL. - David Butler 002; David Aspinall 001; Adrià Gascón (IACR Cryptol. ePrint Arch., 2019)

Formalising Σ-Protocols and Commitment Schemes using CryptHOL. - David Butler 002; Andreas Lochbihler; David Aspinall 001; Adrià Gascón (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 001; Benny Pinkas (IACR Cryptol. ePrint Arch., 2019)

Distributed Vector-OLE: Improved Constructions and Implementation. - Phillipp Schoppmann; Adrià Gascón; Leonie Reichert; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2019)

Private Protocols for U-Statistics in the Local Model and Beyond. - James Bell 001; Aurélien Bellet; Adrià Gascón; Tejas Kulkarni (AISTATS, 2020)

Data Generation for Neural Programming by Example. - Judith Clymo; Adrià Gascón; Brooks Paige; Nathanaël Fijalkow; Haik Manukian (AISTATS, 2020)

Private Summation in the Multi-Message Shuffle Model. - Borja Balle; James Bell 001; Adrià Gascón; Kobbi Nissim (CCS, 2020)

Secure Single-Server Aggregation with (Poly)Logarithmic Overhead. - James Bell 001; Kallista A. Bonawitz; Adrià Gascón; Tancrède Lepoint; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2020)

Grammar-Based Compression of Unranked Trees. - Adrià Gascón; Markus Lohrey; Sebastian Maneth; Carl Philipp Reh; Kurt Sieber (Theory Comput. Syst., 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)

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)

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; et al. (Found. Trends Mach. Learn., 2021)

Formalising $ varSigma$-Protocols and Commitment Schemes Using CryptHOL. - David Butler 002; Andreas Lochbihler; David Aspinall 001; Adrià Gascón (J. Autom. Reason., 2021)

Reconstructing Genotypes in Private Genomic Databases from Genetic Risk Scores. - Brooks Paige; James Bell 001; Aurélien Bellet; Adrià Gascón; Daphne Ezer (J. Comput. Biol., 2021)

Distributed, Private, Sparse Histograms in the Two-Server Model. - James Bell 001; Adrià Gascón; Badih Ghazi; Ravi Kumar 001; Pasin Manurangsi; Mariana Raykova 001; Phillipp Schoppmann (IACR Cryptol. ePrint Arch., 2022)

MPC-Friendly Commitments for Publicly Verifiable Covert Security. - Nitin Agrawal 002; James Bell 001; Adrià Gascón; Matt J. Kusner (IACR Cryptol. ePrint Arch., 2022)

ACORN: Input Validation for Secure Aggregation. - James Bell 001; Adrià Gascón; Tancrède Lepoint; Baiyu Li; Sarah Meiklejohn; Mariana Raykova 001; Cathie Yun (IACR Cryptol. ePrint Arch., 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)

Amplification by Shuffling without Shuffling. - Borja Balle; James Bell 001; Adrià Gascón (CCS, 2023)

Federated Heavy Hitter Recovery under Linear Sketching. - Adrià Gascón; Peter Kairouz; Ziteng Sun; Ananda Theertha Suresh (ICML, 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 001; Andrew Trask; et al. (CoRR, 2023)

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; et al. (CoRR, 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)

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)

Hash-Prune-Invert: Improved Differentially Private Heavy-Hitter Detection in the Two-Server Model. - Borja Balle; James Bell 001; Albert Cheu; Adrià Gascón; Jonathan Katz; Mariana Raykova 001; Phillipp Schoppmann; Thomas Steinke 002 (IACR Cryptol. ePrint Arch., 2024)

Willow: Secure Aggregation with One-Shot Clients. - James Bell-Clark; Adrià Gascón; Baiyu Li; Mariana Raykova 001; Phillipp Schoppmann (IACR Cryptol. ePrint Arch., 2024)

Malicious Security for Sparse Private Histograms. - Lennart Braun; Adrià Gascón; Mariana Raykova 001; Phillipp Schoppmann; Karn Seth (IACR Cryptol. ePrint Arch., 2024)

Computationally Secure Aggregation and Private Information Retrieval in the Shuffle Model. - Adrià Gascón; Yuval Ishai; Mahimna Kelkar; Baiyu Li; Yiping Ma 001; Mariana Raykova 001 (IACR Cryptol. ePrint Arch., 2024)

Vεrity: Verifiable Local Differential Privacy. - James Bell-Clark; Adrià Gascón; Baiyu Li; Mariana Raykova 001; Amrita Roy Chowdhury 001 (IACR Cryptol. ePrint Arch., 2025)

Founding Zero-Knowledge Proofs of Training on Optimum Vicinity. - Gefei Tan; Adrià Gascón; Sarah Meiklejohn; Mariana Raykova 001; Xiao Wang 012; Ning Luo (IACR Cryptol. ePrint Arch., 2025)

Privacy Reasoning in Ambiguous Contexts. - Ren Yi; Octavian Suciu; Adrià Gascón; Sarah Meiklejohn; Eugene Bagdasarian; Marco Gruteser (CoRR, 2025)

FARFETCH'D: A Side-Channel Analysis Framework for Privacy Applications on Confidential Virtual Machines. - Ruiyi Zhang 001; Albert Cheu; Adrià Gascón; Daniel Moghimi; Phillipp Schoppmann; Michael Schwarz 001; Octavian Suciu (CoRR, 2025)