Search for persons
X
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
2
Compositional Taint Analysis for Enforcing Security Policie..:
, In:
?
Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
3
RAPID: checking API usage for the cloud in the cloud:
, In:
?
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
4
Block public access: trust safety verification of access co..:
, In:
?
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) ,
5
One-click formal methods:
, In:
?
Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design ,
6