Jan Menz

According to our database, Jan Menz authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Compositional Security Definitions for Higher-Order Where Declassification.

Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg

Proc. ACM Program. Lang., April, 2023