Adri Gascn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
16
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | NDSS | SNPeek: Side-Channel Analysis for Privacy Applications on Confidential VMs. | Ruiyi Zhang, Albert Cheu, Adri Gascn, Daniel Moghimi, Phillipp Schoppmann, Michael Schwarz, Octavian Suciu |
| 2026 | SP | TDXRay: Microarchitectural Side-Channel Analysis of Intel TDX for Real-World Workloads. | Tristan Hornetz, Hosein Yavarzadeh, Albert Cheu, Adri Gascn, Lukas Gerlach, Daniel Moghimi, Phillipp Schoppmann, Michael Schwarz, Ruiyi Zhang |
| 2025 | CCS | Founding Zero-Knowledge Proof of Training on Optimum Vicinity. | Gefei Tan, Adri Gascn, Sarah Meiklejohn, Mariana Raykova, Xiao Wang, Ning Luo |
| 2025 | CRYPTO | Willow: Secure Aggregation with One-Shot Clients. | James Bell-Clark, Adri Gascn, Baiyu Li, Mariana Raykova, Phillipp Schoppmann |
| 2025 | SP | Hash-Prune-Invert: Improved Differentially Private Heavy-Hitter Detection in the Two-Server Model. | Borja Balle, James Bell-Clark, Albert Cheu, Adri Gascn, Jonathan Katz, Mariana Raykova, Phillipp Schoppmann, Thomas Steinke |
| 2024 | CCS | Computationally Secure Aggregation and Private Information Retrieval in the Shuffle Model. | Adri Gascn, Yuval Ishai, Mahimna Kelkar, Baiyu Li, Yiping Ma, Mariana Raykova |
| 2023 | CCS | Amplification by Shuffling without Shuffling. | Borja Balle, James Bell, Adri Gascn |
| 2023 | ICML | Federated Heavy Hitter Recovery under Linear Sketching. | Adri Gascn, Peter Kairouz, Ziteng Sun, Ananda Theertha Suresh |
| 2022 | CCS | Distributed, Private, Sparse Histograms in the Two-Server Model. | James Bell, Adri Gascn, Badih Ghazi, Ravi Kumar, Pasin Manurangsi, Mariana Raykova, Phillipp Schoppmann |
| 2021 | CCS | MPC-Friendly Commitments for Publicly Verifiable Covert Security. | Nitin Agrawal, James Bell, Adri Gascn, Matt J. Kusner |
| 2020 | AISTATS | Private Protocols for U-Statistics in the Local Model and Beyond. | James Bell, Aurlien Bellet, Adri Gascn, Tejas Kulkarni |
| 2020 | AISTATS | Data Generation for Neural Programming by Example. | Judith Clymo, Adri Gascn, Brooks Paige, Nathanal Fijalkow, Haik Manukian |
| 2020 | CCS | Private Summation in the Multi-Message Shuffle Model. | Borja Balle, James Bell, Adri Gascn, Kobbi Nissim |
| 2020 | CCS | Secure Single-Server Aggregation with (Poly)Logarithmic Overhead. | James Henry Bell, Kallista A. Bonawitz, Adri Gascn, Tancrde Lepoint, Mariana Raykova |
| 2020 | CPP | Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL. | David Butler, David Aspinall, Adri Gascn |
| 2020 | RECOMB | Reconstructing Genotypes in Private Genomic Databases from Genetic Risk Scores. | Brooks Paige, James Bell, Aurlien Bellet, Adri Gascn, Daphne Ezer |
| 2019 | CCS | QUOTIENT: Two-Party Secure Neural Network Training and Prediction. | Nitin Agrawal, Ali Shahin Shamsabadi, Matt J. Kusner, Adri Gascn |
| 2019 | CCS | PPML '19: Privacy Preserving Machine Learning. | Borja Balle, Adri Gascn, Olya Ohrimenko, Mariana Raykova, Phillipp Schoppmann, Carmela Troncoso |
| 2019 | CCS | Make Some ROOM for the Zeros: Data Sparsity in Secure Distributed Machine Learning. | Phillipp Schoppmann, Adri Gascn, Mariana Raykova, Benny Pinkas |
| 2019 | CCS | Distributed Vector-OLE: Improved Constructions and Implementation. | Phillipp Schoppmann, Adri Gascn, Leonie Reichert, Mariana Raykova |
| 2019 | CRYPTO | The Privacy Blanket of the Shuffle Model. | Borja Balle, James Bell, Adri Gascn, Kobbi Nissim |
| 2018 | CSR | Grammar-Based Compression of Unranked Trees. | Adri Gascn, Markus Lohrey, Sebastian Maneth, Carl Philipp Reh, Kurt Sieber |
| 2018 | ICML | Blind Justice: Fairness with Encrypted Sensitive Attributes. | Niki Kilbertus, Adri Gascn, Matt J. Kusner, Michael Veale, Krishna P. Gummadi, Adrian Weller |
| 2018 | ICML | TAPAS: Tricks to Accelerate (encrypted) Prediction As a Service. | Amartya Sanyal, Matt J. Kusner, Adri Gascn, Varun Kanade |
| 2017 | CAV | Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis. | Adri Gascn, Ashish Tiwari, Brent Carmer, Umang Mathur |
| 2017 | ITP | How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. | David Butler, David Aspinall, Adri Gascn |
| 2016 | SP | Revisiting Square-Root ORAM: Efficient Random Access in Multi-party Computation. | Samee Zahur, Xiao Wang, Mariana Raykova, Adri Gascn, Jack Doerner, David Evans, Jonathan Katz |
| 2015 | CADE | Program Synthesis Using Dual Interpretation. | Ashish Tiwari, Adri Gascn, Bruno Dutertre |
| 2015 | CSL | Two-Restricted One Context Unification is in Polynomial Time. | Adri Gascn, Manfred Schmidt-Schau, Ashish Tiwari |
| 2015 | LICS | One Context Unification Problems Solvable in Polynomial Time. | Adri Gascn, Ashish Tiwari, Manfred Schmidt-Schau |
| 2014 | FMCAD | Template-based circuit understanding. | Adri Gascn, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik |
| 2012 | LICS | The HOM Problem is EXPTIME-Complete. | Carles Creus, Adri Gascn, Guillem Godoy, Lander Ramos |
| 2011 | CSEDU | 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 Gascn, Guillem Godoy |
| 2008 | LICS | Context Matching for Compressed Terms. | Adri Gascn, Guillem Godoy, Manfred Schmidt-Schau |