Severin Meier
According to our database1,
Severin Meier authored at least 2 papers
in 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security (Artifact).
Dataset, April, 2021
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021