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