Concepedia

Dennis Volpano

DV

Statistics

Publications

12

Citations

2K

H-Index

11

Active since

1990

Affiliations

Naval Postgraduate School(Current)

Florida International University

Dennis Volpano is an author at Naval Postgraduate School specializing in computer science, computing, and programming languages.

Publications per year

1990–2014

12

Publications

12

A sound type system for secure flow analysis

Dennis Volpano, Cynthia Irvine, Geoffrey Smith · Journal of Computer Security · 1996 · 963 citations

Computing, Computer Engineering, Computer Science +11

Secure information flow in a multi-threaded imperative language

Geoffrey Smith, Dennis Volpano · 1998 · 406 citations · Full text

Computing, Computer Science, Formal Methods +12

Eliminating covert flows with minimum typings

Dennis Volpano, Geoffrey Smith · 2002 · 150 citations

Computing, Computer Science, Formal Methods +14

Probabilistic noninterference in a concurrent language1

Dennis Volpano, Geoffrey Smith · Journal of Computer Security · 1999 · 149 citations

Computing, Computer Science, Probability Theory +11

Verifying secrets and relative secrecy

Dennis Volpano, Geoffrey Smith · 2000 · 86 citations · Full text

Computing, Computer Science, Computer Systems +14

1–5 of 12