Follow
Dennis Volpano
Title
Cited by
Cited by
Year
A sound type system for secure flow analysis
D Volpano, C Irvine, G Smith
Journal of computer security 4 (2), 167-187, 1996
14921996
Secure information flow in a multi-threaded imperative language
G Smith, D Volpano
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
6081998
A type-based approach to program security
D Volpano, G Smith
TAPSOFT'97: Theory and Practice of Software Development, 607-621, 1997
3961997
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 Smith
Journal of Computer Security 7 (2), 231-253, 1999
2601999
Eliminating covert flows with minimum typings
D Volpano, G Smith
Proceedings 10th Computer Security Foundations Workshop, 156-168, 1997
2231997
Verifying secrets and relative secrecy
D Volpano, G Smith
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1212000
Safety versus secrecy
D Volpano
International Static Analysis Symposium, 303-311, 1999
1021999
Secure Introduction of One-way Functions
D Volpano
Computer Security Foundations Workshop, 2000. CSFW-13. Proceedings. 13th …, 2000
652000
Language issues in mobile program security
D Volpano, G Smith
Mobile Agents and Security, 25-43, 1998
631998
On the complexity of ML typability with overloading
DM Volpano, GS Smith
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
511991
The transform- a new language construct.
D Gries, D Volpano
Struct. Program. 11 (1), 1-10, 1990
481990
The templates approach to software reuse
DM Volpano, RB Kieburtz
Software reusability: vol. 1, concepts and models, 247-255, 1989
461989
Software templates
DM Volpano, RB Kieburtz
Proceedings of the 8th international conference on Software engineering, 55-60, 1985
461985
A sound polymorphic type system for a dialect of C
G Smith, D Volpano
Science of computer programming 32 (1-3), 49-72, 1998
371998
Confinement properties for programming languages
D Volpano, G Smith
ACM SIGACT News 29 (3), 33-42, 1998
311998
Towards an ML-style polymorphic type system for C
G Smith, D Volpano
Programming Languages and Systems—ESOP'96, 341-355, 1996
281996
Toward Systematic Detection and Resolution of Network Control Conflicts
D Volpano, X Sun, GG Xie
Proceedings of the third workshop on Hot topics in software defined …, 2014
202014
Secure flow typing
D Volpano, C Irvine
Computers & Security 16 (2), 137-144, 1997
191997
Polymorphic typing of variables and references
G Smith, D Volpano
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 254-267, 1996
151996
Provably secure programming languages for remote evaluation
DM Volpano
ACM Comput. Surv. 28 (4es), 176, 1996
131996
The system can't perform the operation now. Try again later.
Articles 1–20