Personensuche
X
?
Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ,
5
Short Paper: Modular Black-box Runtime Verification of Secu..:
, In:
?
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security ,
6
PLAS'20: 15th Workshop on Programming Languages and Analysi..:
, In:
?
Proceedings of the 15th Workshop on Programming Languages and Analysis for Security ,
7
Session details: Invited Talk I:
, In:
?
2020 IEEE 33rd Computer Security Foundations Symposium (CSF) ,
8
Securing Asynchronous Exceptions:
, In:
?
Lecture Notes in Computer Science; Principles of Security and Trust ,
10
Foundations for Parallel Information Flow Control Runtime S..:
, In:
?
Proceedings of the 1st International Workshop on Type-Driven Development ,
13
Generic Diff3 for algebraic datatypes:
, In:
?
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security ,
14