Dennis M. Volpano - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 36 from 36

2017

Modular network function virtualizationDennis M. Volpano. infocom 2017: 922-927 [doi]

2014

LEGO(TM) Bricks for Reactive ProgrammingDennis M. Volpano. sp 2014: 152-157 [doi]

Towards systematic detection and resolution of network control conflictsDennis M. Volpano, Xin Sun 0002, Geoffrey G. Xie. sigcomm 2014: 67-72 [doi]

2012

Programmable Diagnostic Network Measurement with Localization and Traffic ObservationMichael R. Clement, Dennis M. Volpano. safeconfig 2013: 153-167 [doi]

2000

Basic research in information privacyGeoffrey Smith, Dennis M. Volpano. sigsoft, 25(1):86, 2000. [doi]

Secure Introduction of One-Way FunctionsDennis M. Volpano. csfw 2000: 246-254 [doi]

Verifying Secrets and Relative SecrecyDennis M. Volpano, Geoffrey Smith. POPL 2000: 268-276 [doi]

1999

1998

1997

A Type-Based Approach to Program SecurityDennis M. Volpano, Geoffrey Smith. tapsoft 1997: 607-621

Provably-Secure Programming Languages for Remote EvaluationDennis M. Volpano. SIGPLAN, 32(1):117-119, 1997.

Eliminating Covert Flows with Minimum TypingsDennis M. Volpano, Geoffrey Smith. csfw 1997: 156-169 [doi]

Secure flow typingDennis M. Volpano, Cynthia E. Irvine. compsec, 16(2):137-144, 1997. [doi]

1996

Polymorphic typing of Variables and ReferencesGeoffrey Smith, Dennis M. Volpano. TOPLAS, 18(3):254-267, 1996. [doi]

Towards an ML-Style Polymorphic Type System for CGeoffrey Smith, Dennis M. Volpano. ESOP 1996: 341-355

Provably Secure Programming Languages for Remote EvaluationDennis M. Volpano. ACM Comput. Surv., 28(4es):176, 1996.

On the Systematic Design of Web LanguagesDennis M. Volpano, Geoffrey Smith. ACM Comput. Surv., 28(2):315-317, 1996.

Lower Bounds on Type Checking OverloadingDennis M. Volpano. ipl, 57(1):9-13, 1996. [doi]

A Sound Type System for Secure Flow AnalysisDennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith. jcs, 4(2/3):167-188, 1996.

1995

A Type Soundness Proof for Variables in LCF MLDennis M. Volpano, Geoffrey Smith. ipl, 56(3):141-146, 1995. [doi]

Type Checking Coherent OverloadingDennis M. Volpano. stp, 16(2):81-85, 1995.

1994

Haskell-style Overloading is NP-hardDennis M. Volpano. iccl 1994: 88-94

1991

On the Complexity of ML Typability with OverloadingDennis M. Volpano, Geoffrey Smith. fpca 1991: 15-28

Subtypes and QuantificationDennis M. Volpano. TOPLAS, 13(4):631-632, 1991. [doi]

1990

The Transform - a New Language ConstructDavid Gries, Dennis M. Volpano. stp, 11(1):1-10, 1990.

1985

Software TemplatesDennis M. Volpano, Richard B. Kieburtz. ICSE 1985: 55-61

1984

Empirical investigation of COBOL featuresDennis M. Volpano, Hubert E. Dunsmore. ipm, 20(1-2):277-291, 1984. [doi]

Sign in or sign up to see more results.

runs on WebDSL