Pascal Zimmer

According to our database, Pascal Zimmer authored at least 12 papers between 2000 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2026

Targeted Physical Evasion Attacks in the Near-Infrared Domain.

Pascal Zimmer, Simon Lachnit, Alexander Jan Zielinski, Ghassan Karame

Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

Tuning for Two Adversaries: Enhancing the Robustness Against Transfer and Query-Based Attacks Using Hyperparameter Tuning.

Pascal Zimmer, Ghassan Karame

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

On the Robustness of Distributed Machine Learning Against Transfer Attacks.

Sébastien Andreina, Pascal Zimmer, Ghassan Karame

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Closing the Gap: Achieving Better Accuracy-Robustness Tradeoffs against Query-Based Attacks.

Pascal Zimmer, Sébastien Andreina, Giorgia Azzurra Marson, Ghassan Karame

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2021

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

Proceedings of the ICC 2021, 2021

2004

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

Pascal Zimmer

PhD thesis, 2004

On Type Inference in the Intersection Type Discipline.

Gérard Boudol, Pascal Zimmer

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

2003

On The Expressiveness Of Pure Safe Ambients.

Pascal Zimmer

Math. Struct. Comput. Sci., 2003

2002

Recursion in the call-by-value lambda-calculus.

Gérard Boudol, Pascal Zimmer

Proceedings of the Fixed Points in Computer Science, 2002

Using Ambients to Control Resources.

David Teller, Pascal Zimmer, Daniel Hirschkoff

Proceedings of the CONCUR 2002, 2002

2000

On the Expressiveness of Pure Mobile Ambients.

Pascal Zimmer

Proceedings of the 7th International Workshop on Expressiveness in Concurrency, 2000

Subtyping and Typing Algorithms for Mobile Ambients.

Pascal Zimmer

Proceedings of the Foundations of Software Science and Computation Structures, 2000