Dennis M. Volpano

According to our database, Dennis M. Volpano authored at least 36 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Quantitative Toolchain Assurance.

Dennis M. Volpano, Drew Malzahn, Andrew Pareles, Mark Thober

CoRR, 2023

2022

Network Programming via Computable Products.

Dennis M. Volpano

CoRR, 2022

2017

Modular network function virtualization.

Dennis M. Volpano

Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017

2014

LEGO(TM) Bricks for Reactive Programming.

Dennis M. Volpano

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Towards systematic detection and resolution of network control conflicts.

Dennis M. Volpano, Xin Sun, Geoffrey G. Xie

Proceedings of the third workshop on Hot topics in software defined networking, 2014

2012

Programmable Diagnostic Network Measurement with Localization and Traffic Observation.

Michael R. Clement, Dennis M. Volpano

Proceedings of the Automated Security Management [papers from SafeConfig 2012, 2012

2000

Basic research in information privacy.

Geoffrey Smith, Dennis M. Volpano

ACM SIGSOFT Softw. Eng. Notes, 2000

Verifying Secrets and Relative Secrecy.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the POPL 2000, 2000

Secure Introduction of One-Way Functions.

Dennis M. Volpano

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

1999

Probabilistic Noninterference in a Concurrent Language.

Dennis M. Volpano, Geoffrey Smith

J. Comput. Secur., 1999

Confinement Properties for Multi-Threaded Programs.

Geoffrey Smith, Dennis M. Volpano

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

The MFPS XV Security Session.

Catherine Meadows, Dennis M. Volpano

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Safety versus Secrecy.

Dennis M. Volpano

Proceedings of the Static Analysis, 6th International Symposium, 1999

Formalization and Proof of Secrecy Properties.

Dennis M. Volpano

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

Confinement properties for programming languages.

Dennis M. Volpano, Geoffrey Smith

SIGACT News, 1998

A Sound Polymorphic Type System for a Dialect of C.

Geoffrey Smith, Dennis M. Volpano

Sci. Comput. Program., 1998

Wired Wired World: Wired and Wired-Er.

Ted Lewis, Dennis M. Volpano

IEEE Internet Comput., 1998

Secure Information Flow in a Multi-Threaded Imperative Language.

Geoffrey Smith, Dennis M. Volpano

Proceedings of the POPL '98, 1998

Language Issues in Mobile Program Security.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the Mobile Agents and Security, 1998

1997

Provably-Secure Programming Languages for Remote Evaluation.

Dennis M. Volpano

ACM SIGPLAN Notices, 1997

Secure flow typing.

Dennis M. Volpano, Cynthia E. Irvine

Comput. Secur., 1997

A Type-Based Approach to Program Security.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Eliminating Covert Flows with Minimum Typings.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the 10th Computer Security Foundations Workshop (CSFW '97), 1997

1996

Polymorphic typing of Variables and References.

Geoffrey Smith, Dennis M. Volpano

ACM Trans. Program. Lang. Syst., 1996

A Sound Type System for Secure Flow Analysis.

Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith

J. Comput. Secur., 1996

Lower Bounds on Type Checking Overloading.

Dennis M. Volpano

Inf. Process. Lett., 1996

On the Systematic Design of Web Languages.

Dennis M. Volpano, Geoffrey Smith

ACM Comput. Surv., 1996

Towards an ML-Style Polymorphic Type System for C.

Geoffrey Smith, Dennis M. Volpano

Proceedings of the Programming Languages and Systems, 1996

1995

Type Checking Coherent Overloading.

Dennis M. Volpano

Softw. Concepts Tools, 1995

A Type Soundness Proof for Variables in LCF ML.

Dennis M. Volpano, Geoffrey Smith

Inf. Process. Lett., 1995

1994

Haskell-style Overloading is NP-hard.

Dennis M. Volpano

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1991

Subtypes and Quantification.

Dennis M. Volpano

ACM Trans. Program. Lang. Syst., 1991

On the Complexity of ML Typability with Overloading.

Dennis M. Volpano, Geoffrey S. Smith

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

The Transform - a New Language Construct.

David Gries, Dennis M. Volpano

Struct. Program., 1990

1985

Software Templates.

Dennis M. Volpano, Richard B. Kieburtz

Proceedings of the Proceedings, 1985

1984

Empirical investigation of COBOL features.

Dennis M. Volpano, Hubert E. Dunsmore

Inf. Process. Manag., 1984