Empirical investigation of COBOL features. - Dennis M. Volpano; Hubert E. Dunsmore (Inf. Process. Manag., 1984)

Software Templates. - Dennis M. Volpano; Richard B. Kieburtz (ICSE, 1985)

The Transform - a New Language Construct. - David Gries; Dennis M. Volpano (Struct. Program., 1990)

On the Complexity of ML Typability with Overloading. - Dennis M. Volpano; Geoffrey S. Smith (FPCA, 1991)

Subtypes and Quantification. - Dennis M. Volpano (ACM Trans. Program. Lang. Syst., 1991)

Haskell-style Overloading is NP-hard. - Dennis M. Volpano (ICCL, 1994)

A Type Soundness Proof for Variables in LCF ML. - Dennis M. Volpano; Geoffrey Smith 001 (Inf. Process. Lett., 1995)

Type Checking Coherent Overloading. - Dennis M. Volpano (Softw. Concepts Tools, 1995)

Towards an ML-Style Polymorphic Type System for C. - Geoffrey Smith 001; Dennis M. Volpano (ESOP, 1996)

Provably Secure Programming Languages for Remote Evaluation. - Dennis M. Volpano (ACM Comput. Surv., 1996)

On the Systematic Design of Web Languages. - Dennis M. Volpano; Geoffrey Smith 001 (ACM Comput. Surv., 1996)

Lower Bounds on Type Checking Overloading. - Dennis M. Volpano (Inf. Process. Lett., 1996)

A Sound Type System for Secure Flow Analysis. - Dennis M. Volpano; Cynthia E. Irvine; Geoffrey Smith 001 (J. Comput. Secur., 1996)

Polymorphic typing of Variables and References. - Geoffrey Smith 001; Dennis M. Volpano (ACM Trans. Program. Lang. Syst., 1996)

Eliminating Covert Flows with Minimum Typings. - Dennis M. Volpano; Geoffrey Smith 001 (CSFW, 1997)

A Type-Based Approach to Program Security. - Dennis M. Volpano; Geoffrey Smith 001 (TAPSOFT, 1997)

Secure flow typing. - Dennis M. Volpano; Cynthia E. Irvine (Comput. Secur., 1997)

Language Issues in Mobile Program Security. - Dennis M. Volpano; Geoffrey Smith 001 (Mobile Agents and Security, 1998)

Secure Information Flow in a Multi-Threaded Imperative Language. - Geoffrey Smith 001; Dennis M. Volpano (POPL, 1998)

Wired Wired World: Wired and Wired-Er. - Ted Lewis; Dennis M. Volpano (IEEE Internet Comput., 1998)

A Sound Polymorphic Type System for a Dialect of C. - Geoffrey Smith 001; Dennis M. Volpano (Sci. Comput. Program., 1998)

Confinement properties for programming languages. - Dennis M. Volpano; Geoffrey Smith 001 (SIGACT News, 1998)

Formalization and Proof of Secrecy Properties. - Dennis M. Volpano (CSFW, 1999)

Safety versus Secrecy. - Dennis M. Volpano (SAS, 1999)

The MFPS XV Security Session. - Catherine Meadows 001; Dennis M. Volpano (MFPS, 1999)

Confinement Properties for Multi-Threaded Programs. - Geoffrey Smith 001; Dennis M. Volpano (MFPS, 1999)

Probabilistic Noninterference in a Concurrent Language. - Dennis M. Volpano; Geoffrey Smith 001 (J. Comput. Secur., 1999)

Secure Introduction of One-Way Functions. - Dennis M. Volpano (CSFW, 2000)

Verifying Secrets and Relative Secrecy. - Dennis M. Volpano; Geoffrey Smith 001 (POPL, 2000)

Basic research in information privacy. - Geoffrey Smith 001; Dennis M. Volpano (ACM SIGSOFT Softw. Eng. Notes, 2000)

Programmable Diagnostic Network Measurement with Localization and Traffic Observation. - Michael R. Clement; Dennis M. Volpano (SafeConfig, 2012)

Towards systematic detection and resolution of network control conflicts. - Dennis M. Volpano; Xin Sun 002; Geoffrey G. Xie (HotSDN, 2014)

LEGO(TM) Bricks for Reactive Programming. - Dennis M. Volpano (IEEE Symposium on Security and Privacy Workshops, 2014)

Modular network function virtualization. - Dennis M. Volpano (INFOCOM Workshops, 2017)

Network Programming via Computable Products. - Dennis M. Volpano (CoRR, 2022)

Quantitative Toolchain Assurance. - Dennis M. Volpano; Drew Malzahn; Andrew Pareles; Mark Thober (CoRR, 2023)