Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. - Michael Backes 001; Matteo Maffei; Esfandiar Mohammadi (FSTTCS, 2010)

Provably Secure and Practical Onion Routing. - Michael Backes 001; Ian Goldberg; Aniket Kate; Esfandiar Mohammadi (IACR Cryptol. ePrint Arch., 2011)

Ace: an efficient key-exchange protocol for onion routing. - Michael Backes 001; Aniket Kate; Esfandiar Mohammadi (WPES, 2012)

Privacy-Preserving Accountable Computation. - Michael Backes 001; Dario Fiore 001; Esfandiar Mohammadi (ESORICS, 2013)

TUC: Time-sensitive and Modular Analysis of Anonymous Communication. - Michael Backes 001; Praveen Manoharan 001; Esfandiar Mohammadi (IACR Cryptol. ePrint Arch., 2013)

Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity. - Michael Backes 001; Esfandiar Mohammadi; Tim Ruffing (POST, 2014)

(Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection. - Michael Backes 001; Aniket Kate; Sebastian Meiser 001; Esfandiar Mohammadi (IACR Cryptol. ePrint Arch., 2014)

POSTER: In the Net of the Spider: Measuring the Anonymity-Impact of Network-level Adversaries Against Tor. - Michael Backes 001; Simon Koch 001; Sebastian Meiser 001; Esfandiar Mohammadi; Christian Rossow (CCS, 2015)

Symbolic Malleable Zero-Knowledge Proofs. - Michael Backes 001; Fabian Bendun; Matteo Maffei; Esfandiar Mohammadi; Kim Pecina (CSF, 2015)

Computational Soundness for Interactive Primitives. - Michael Backes 001; Esfandiar Mohammadi; Tim Ruffing (ESORICS (1), 2015)

Computational Soundness for Dalvik Bytecode. - Michael Backes 001; Robert Künnemann; Esfandiar Mohammadi (CCS, 2016)

AnoA: A Framework for Analyzing Anonymous Communication Protocols. - Michael Backes 001; Aniket Kate; Praveen Manoharan 001; Sebastian Meiser 001; Esfandiar Mohammadi (J. Priv. Confidentiality, 2016)

Abstracting cryptographic protocols. - Esfandiar Mohammadi (2016)

Ratio Buckets: A Numeric Method for r-Fold Tight Differential Privacy. - Sebastian Meiser 001; Esfandiar Mohammadi (IACR Cryptol. ePrint Arch., 2017)

Anonymity Trilemma: Strong Anonymity, Low Bandwidth Overhead, Low Latency - Choose Two. - Debajyoti Das 001; Sebastian Meiser 001; Esfandiar Mohammadi; Aniket Kate (IACR Cryptol. ePrint Arch., 2017)

CoverUp: Privacy Through "Forced" Participation in Anonymous Communication Networks. - David M. Sommer 001; Aritra Dhar; Luka Malisa; Esfandiar Mohammadi; Daniel Ronzani; Srdjan Capkun (IACR Cryptol. ePrint Arch., 2017)

Tight on Budget?: Tight Bounds for r-Fold Approximate Differential Privacy. - Sebastian Meiser 001; Esfandiar Mohammadi (CCS, 2018)

PrivacyBuDe: Privacy Buckets Demo Tight Differential Privacy Guarantees made Simple. - David M. Sommer 001; Sebastian Meiser 001; Esfandiar Mohammadi (CCS, 2018)

Deniable Upload and Download via Passive Participation. - David M. Sommer 001; Aritra Dhar; Luka Malisa; Esfandiar Mohammadi; Daniel Ronzani; Srdjan Capkun (NSDI, 2019)

Passive and active attackers in noiseless privacy. - Damien Desfontaines; Elisabeth Krahmer; Esfandiar Mohammadi (CoRR, 2019)

Privacy Loss Classes: The Central Limit Theorem in Differential Privacy. - David M. Sommer 001; Sebastian Meiser 001; Esfandiar Mohammadi (Proc. Priv. Enhancing Technol., 2019)

Comprehensive Anonymity Trilemma: User Coordination is not enough. - Debajyoti Das 001; Sebastian Meiser 001; Esfandiar Mohammadi; Aniket Kate (Proc. Priv. Enhancing Technol., 2020)

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Technical Challenges and Solutions. - Eike Petersen; Yannik Potdevin; Esfandiar Mohammadi; Stephan Zidowitz; Sabrina Breyer; Dirk Nowotka; Sandra Henn; Ludwig Pechmann; Martin Leucker; Philipp Rostalski; Christian Herzog 002 (CoRR, 2021)

Learning Numeric Optimal Differentially Private Truncated Additive Mechanisms. - David M. Sommer 001; Lukas Abfalterer; Sheila Zingg; Esfandiar Mohammadi (CoRR, 2021)

Divide and Funnel: a Scaling Technique for Mix-Networks. - Debajyoti Das 001; Sebastian Meiser 001; Esfandiar Mohammadi; Aniket Kate (IACR Cryptol. ePrint Arch., 2021)

Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions. - Eike Petersen; Yannik Potdevin; Esfandiar Mohammadi; Stephan Zidowitz; Sabrina Breyer; Dirk Nowotka; Sandra Henn; Ludwig Pechmann; Martin Leucker; Philipp Rostalski; Christian Herzog 002 (IEEE Access, 2022)

Single SMPC Invocation DPHelmet: Differentially Private Distributed Learning on a Large Scale. - Moritz Kirschte; Sebastian Meiser 001; Saman Ardalan; Esfandiar Mohammadi (CoRR, 2022)

Towards Privacy and Utility in Tourette TIC Detection Through Pretraining Based on Publicly Available Video Data of Healthy Subjects. - Nele Sophie Brügge; Esfandiar Mohammadi; Alexander Münchau; Tobias Bäumer; Christian Frings; Christian Beste; Veit Rößner; Heinz Handels (ICASSP, 2023)

Challenges for AI in Healthcare Systems. - Markus Bertl; Yngve Lamo; Martin Leucker; Tiziana Margaria; Esfandiar Mohammadi; Suresh Kumar Mukhiya; Ludwig Pechmann; Gunnar Piho; Fazle Rabbi 001 (AISoLA (Selected Papers), 2023)

S-GBDT: Frugal Differentially Private Gradient Boosting Decision Trees. - Moritz Kirschte; Thorsten Peinemann; Joshua Stock; Carlos Cotrini; Esfandiar Mohammadi (CoRR, 2023)

A Toolchain for Privacy-Preserving Distributed Aggregation on Edge-Devices. - Johannes Liebenow; Timothy Imort; Yannick Fuchs; Marcel Heisel; Nadja Käding; Jan Rupp; Esfandiar Mohammadi (CoRR, 2023)

MixFlow: Assessing Mixnets Anonymity with Contrastive Architectures and Semantic Network Information. - Reyhane Attarian; Esfandiar Mohammadi; Tao Wang; Emad Heydari Beni (IACR Cryptol. ePrint Arch., 2023)

$DPM: $ Clustering Sensitive Data through Separation. - Johannes Liebenow; Yara Schütt; Tanya Braun; Marcel Gehrke; Florian Thaeter; Esfandiar Mohammadi (CCS, 2024)

S-BDT: Distributed Differentially Private Boosted Decision Trees. - Thorsten Peinemann; Moritz Kirschte; Joshua Stock; Carlos Cotrini; Esfandiar Mohammadi (CCS, 2024)

Differentially Private Inductive Miner. - Max Schulze; Yorck Zisgen; Moritz Kirschte; Esfandiar Mohammadi; Agnes Koschmider (ICPM, 2024)

Lifting in Support of Privacy-Preserving Probabilistic Inference. - Marcel Gehrke; Johannes Liebenow; Esfandiar Mohammadi; Tanya Braun (Künstliche Intell., 2024)

PrivAgE: A Toolchain for Privacy-Preserving Distributed Aggregation on Edge-Devices. - Johannes Liebenow; Timothy Imort; Yannick Fuchs; Marcel Heisel; Nadja Käding; Jan Rupp; Esfandiar Mohammadi (Künstliche Intell., 2024)

Mixnets on a Tightrope: Quantifying the Leakage of Mix Networks Using a Provably Optimal Heuristic Adversary. - Sebastian Meiser 001; Debajyoti Das 001; Moritz Kirschte; Esfandiar Mohammadi; Aniket Kate (SP, 2025)

Understanding the Theoretical Guarantees of DPM. - Yara Schütt; Esfandiar Mohammadi (CoRR, 2025)

Non-omniscient backdoor injection with a single poison sample: Proving the one-poison hypothesis for linear regression and linear classification. - Thorsten Peinemann; Paula Arnold; Sebastian Berndt 001; Thomas Eisenbarth 001; Esfandiar Mohammadi (CoRR, 2025)