Filter by
Checking cryptographic API usage with composable annotations (short paper).
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder.
PEPM ’18: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, December 2017, 53–59. 2018
Towards verified file systems.
Andrea Giugliano.
PhD Thesis, University of Leicester. 2018
Annual Report 2017/2018
VeTSS
2018
Problem Book 2024
VeTSS, 2024.
by