Dennis M. Volpano

38 papers A* 3A 1B 3Journal 19Unranked 12
YearRankTypeTitle / Venue / Authors
2023 J jnl
Quantitative Toolchain Assurance.
CoRR
Dennis M. Volpano, Drew Malzahn, Andrew Pareles, Mark Thober
2022 J jnl
Network Programming via Computable Products.
CoRR
Dennis M. Volpano
2017 — conf
Modular network function virtualization.
INFOCOM Workshops
Dennis M. Volpano
2014 — conf
LEGO(TM) Bricks for Reactive Programming.
IEEE Symposium on Security and Privacy Workshops
Dennis M. Volpano
2014 — conf
Towards systematic detection and resolution of network control conflicts.
HotSDN
Dennis M. Volpano, Xin Sun, Geoffrey G. Xie
2012 — conf
Programmable Diagnostic Network Measurement with Localization and Traffic Observation.
SafeConfig
Michael R. Clement, Dennis M. Volpano
2000 J jnl
Basic research in information privacy.
ACM SIGSOFT Softw. Eng. Notes
Geoffrey Smith, Dennis M. Volpano
2000 — conf
Secure Introduction of One-Way Functions.
CSFW
Dennis M. Volpano
2000 A* conf
Verifying Secrets and Relative Secrecy.
POPL
Dennis M. Volpano, Geoffrey Smith
1999 B conf
Confinement Properties for Multi-Threaded Programs.
MFPS
Geoffrey Smith, Dennis M. Volpano
1999 — conf
Formalization and Proof of Secrecy Properties.
CSFW
Dennis M. Volpano
1999 J jnl
Probabilistic Noninterference in a Concurrent Language.
J. Comput. Secur.
Dennis M. Volpano, Geoffrey Smith
1999 B conf
Safety versus Secrecy.
SAS
Dennis M. Volpano
1999 B conf
The MFPS XV Security Session.
MFPS
Catherine Meadows, Dennis M. Volpano
1998 J jnl
A Sound Polymorphic Type System for a Dialect of C.
Sci. Comput. Program.
Geoffrey Smith, Dennis M. Volpano
1998 J jnl
Confinement properties for programming languages.
SIGACT News
Dennis M. Volpano, Geoffrey Smith
1998 — conf
Language Issues in Mobile Program Security.
Mobile Agents and Security
Dennis M. Volpano, Geoffrey Smith
1998 — conf
Probabilistic Noninterference in a Concurrent Language.
CSFW
Dennis M. Volpano, Geoffrey Smith
1998 A* conf
Secure Information Flow in a Multi-Threaded Imperative Language.
POPL
Geoffrey Smith, Dennis M. Volpano
1998 J jnl
Wired Wired World: Wired and Wired-Er.
IEEE Internet Comput.
Ted Lewis, Dennis M. Volpano
1997 — conf
A Type-Based Approach to Program Security.
TAPSOFT
Dennis M. Volpano, Geoffrey Smith
1997 — conf
Eliminating Covert Flows with Minimum Typings.
CSFW
Dennis M. Volpano, Geoffrey Smith
1997 J jnl
Provably-Secure Programming Languages for Remote Evaluation.
ACM SIGPLAN Notices
Dennis M. Volpano
1997 J jnl
Secure flow typing.
Comput. Secur.
Dennis M. Volpano, Cynthia E. Irvine
1996 J jnl
A Sound Type System for Secure Flow Analysis.
J. Comput. Secur.
Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith
1996 J jnl
Lower Bounds on Type Checking Overloading.
Inf. Process. Lett.
Dennis M. Volpano
1996 J jnl
On the Systematic Design of Web Languages.
ACM Comput. Surv.
Dennis M. Volpano, Geoffrey Smith
1996 J jnl
Polymorphic typing of Variables and References.
ACM Trans. Program. Lang. Syst.
Geoffrey Smith, Dennis M. Volpano
1996 J jnl
Provably Secure Programming Languages for Remote Evaluation.
ACM Comput. Surv.
Dennis M. Volpano
1996 A conf
Towards an ML-Style Polymorphic Type System for C.
ESOP
Geoffrey Smith, Dennis M. Volpano
1995 J jnl
A Type Soundness Proof for Variables in LCF ML.
Inf. Process. Lett.
Dennis M. Volpano, Geoffrey Smith
1995 J jnl
Type Checking Coherent Overloading.
Softw. Concepts Tools
Dennis M. Volpano
1994 — conf
Haskell-style Overloading is NP-hard.
ICCL
Dennis M. Volpano
1991 — conf
On the Complexity of ML Typability with Overloading.
FPCA
Dennis M. Volpano, Geoffrey S. Smith
1991 J jnl
Subtypes and Quantification.
ACM Trans. Program. Lang. Syst.
Dennis M. Volpano
1990 J jnl
The Transform - a New Language Construct.
Struct. Program.
David Gries, Dennis M. Volpano
1985 A* conf
Software Templates.
ICSE
Dennis M. Volpano, Richard B. Kieburtz
1984 J jnl
Empirical investigation of COBOL features.
Inf. Process. Manag.
Dennis M. Volpano, Hubert E. Dunsmore