Subtyping and Typing Algorithms for Mobile Ambients. - Pascal Zimmer (FoSSaCS, 2000)

On the Expressiveness of Pure Mobile Ambients. - Pascal Zimmer (EXPRESS, 2000)

Recursion in the call-by-value lambda-calculus. - Gérard Boudol; Pascal Zimmer (FICS, 2002)

On The Expressiveness Of Pure Safe Ambients. - Pascal Zimmer (Math. Struct. Comput. Sci., 2003)

On Type Inference in the Intersection Type Discipline. - Gérard Boudol; Pascal Zimmer (ITRS, 2004)

Using ambients to control resources. - David Teller; Pascal Zimmer; Daniel Hirschkoff (Int. J. Inf. Sec., 2004)

Récursion généralisée et inférence de types avec intersection. (Generalised recursion and type inference for intersection types). - Pascal Zimmer (2004)

Keys from the Sky: A First Exploration of Physical-Layer Security Using Satellite Links. - Pascal Zimmer; Roland Weinreich; Christian T. Zenger; Aydin Sezgin; Christof Paar (ICC, 2021)

Closing the Gap: Achieving Better Accuracy-Robustness Tradeoffs against Query-Based Attacks. - Pascal Zimmer; Sébastien Andreina; Giorgia Azzurra Marson; Ghassan Karame (AAAI, 2024)

On the Robustness of Distributed Machine Learning Against Transfer Attacks. - Sébastien Andreina; Pascal Zimmer; Ghassan Karame (AAAI, 2025)