SPLASH 2023 (series) / Jan Menz

Registered user since Mon 27 Feb 2023
Name:Jan Menz
Affiliation:Max Planck Institute for Software Systems (MPI-SWS)
Personal website:https://mpi-sws.org/~jmenz
Research interests:Semantics of Declassification
Contributions
SPLASH 2023 | Compositional Security Definitions for Higher-Order Where Declassification | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile