ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Secure information flow in a multi-threaded imperative language
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Language Issues in Mobile Program Security
Mobile Agents and Security
Formal methods and standards: an idiosyncratic view
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |