Dennis Volpano

Dennis Volpano

Johns Hopkins University - Baltimore / United States
Natural Sciences / Physics
AD Scientific Index ID: 1349626
person_outline Dennis Volpano's MOST POPULAR ARTICLES
1-) A sound type system for secure flow analysisD Volpano, C Irvine, G SmithJournal of computer security 4 (2), 167-187, 199614171996
2-) Secure information flow in a multi-threaded imperative languageG Smith, D VolpanoProceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 19985951998
3-) A type-based approach to program securityD Volpano, G SmithTAPSOFT\\\'97: Theory and Practice of Software Development, 607-621, 19973711997
4-) Probabilistic noninterference in a concurrent language [1] This is an expanded version of a paper that appeared in the Proceedings of the 11th IEEE Computer Security …D Volpano, G SmithJournal of Computer Security 7 (2), 231-253, 19992661999
5-) Eliminating covert flows with minimum typingsD Volpano, G SmithProceedings 10th Computer Security Foundations Workshop, 156-168, 19972261997