Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
A Comprehensive Specification and Verification of the L4 Mi..:
, In:
?
2023 IEEE International Conference on Web Services (ICWS) ,
6
VeriReach: A Formally Verified Algorithm for Reachability A..:
, In:
?
Proceedings of the 14th Asia-Pacific Symposium on Internetware ,
7
Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for ..:
, In:
?
2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) ,
8
Lark: Verified Cross-Domain Access Control for Trusted Exec..:
, In:
?
Proceedings of the 13th Asia-Pacific Symposium on Internetware ,
11
Is your access allowed or not? A Verified Tag-based Access ..:
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
12