Pascal Zimmer

According to our database, Pascal Zimmer authored at least 9 papers between 2000 and 2024.

Collaborative distances:

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

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

Using ambients to control resources.

David Teller, Pascal Zimmer, Daniel Hirschkoff

Int. J. Inf. Sec., 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

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