SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Jan Menz

Registered user since Mon 27 Feb 2023

Name:Jan Menz
Affiliation:Max Planck Institute for Software Systems (MPI-SWS)
Research interests:Semantics of Declassification

Contributions

SPLASH 2023 Compositional Security Definitions for Higher-Order Where Declassification
Show activities from other conferences

Using general profile