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 formal verification, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisCryptographyData SecuritySoftware AnalysisInformation SecurityVerification

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 · 958 citations

Engineering, Information Security, Security Evaluation +20

Secure information flow in a multi-threaded imperative language

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

Engineering, Information Security, Restrictive Type System +20

Eliminating covert flows with minimum typings

Dennis Volpano, Geoffrey Smith · 2002 · 149 citations

Engineering, Information Security, Imperative Programming Language +21

Probabilistic noninterference in a concurrent language1

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

Engineering, Type Theory, Probabilistic Computation +19

Verifying secrets and relative secrecy

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

Relative Secrecy, Engineering, Information Security +15

1–5 of 12