| A sound type system for secure flow analysis D Volpano, C Irvine, G Smith Journal of computer security 4 (2), 167-187, 1996 | 1531 | 1996 |
| 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 | 622 | 1998 |
| A type-based approach to program security D Volpano, G Smith TAPSOFT'97: Theory and Practice of Software Development, 607-621, 1997 | 396 | 1997 |
| 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 | 270 | 1999 |
| Eliminating covert flows with minimum typings D Volpano, G Smith Proceedings 10th Computer Security Foundations Workshop, 156-168, 1997 | 228 | 1997 |
| Verifying secrets and relative secrecy D Volpano, G Smith Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000 | 122 | 2000 |
| Safety versus secrecy D Volpano International Static Analysis Symposium, 303-311, 1999 | 105 | 1999 |
| Secure Introduction of One-way Functions D Volpano Computer Security Foundations Workshop, 2000. CSFW-13. Proceedings. 13th …, 2000 | 65 | 2000 |
| Language issues in mobile program security D Volpano, G Smith Mobile Agents and Security, 25-43, 1998 | 62 | 1998 |
| On the complexity of ML typability with overloading DM Volpano, GS Smith Functional Programming Languages and Computer Architecture: 5th ACM …, 1991 | 50 | 1991 |
| The transform- a new language construct. D Gries, D Volpano Struct. Program. 11 (1), 1-10, 1990 | 48 | 1990 |
| Software templates DM Volpano, RB Kieburtz Proceedings of the 8th international conference on Software engineering, 55-60, 1985 | 48 | 1985 |
| The templates approach to software reuse DM Volpano, RB Kieburtz Software reusability: vol. 1, concepts and models, 247-255, 1989 | 47 | 1989 |
| A sound polymorphic type system for a dialect of C G Smith, D Volpano Science of computer programming 32 (1-3), 49-72, 1998 | 38 | 1998 |
| Confinement properties for programming languages D Volpano, G Smith ACM SIGACT News 29 (3), 33-42, 1998 | 31 | 1998 |
| Towards an ML-style polymorphic type system for C G Smith, D Volpano Programming Languages and Systems—ESOP'96, 341-355, 1996 | 29 | 1996 |
| 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 | 20 | 2014 |
| Secure flow typing D Volpano, C Irvine Computers & Security 16 (2), 137-144, 1997 | 19 | 1997 |
| Polymorphic typing of variables and references G Smith, D Volpano ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 254-267, 1996 | 15 | 1996 |
| Provably secure programming languages for remote evaluation D Volpano ACM Computing Surveys (CSUR) 28 (4es), 176-es, 1996 | 14 | 1996 |
Geoffrey SmithSchool of Computing and Information Sciences, Florida International UniversityEmail verificata su cis.fiu.edu
