|
Search the dblp DataBase
Dennis M. Volpano:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dennis M. Volpano
Secure Introduction of One-Way Functions. [Citation Graph (0, 0)][DBLP] CSFW, 2000, pp:246-254 [Conf]
- Dennis M. Volpano
Formalization and Proof of Secrecy Properties. [Citation Graph (0, 0)][DBLP] CSFW, 1999, pp:92-95 [Conf]
- Dennis M. Volpano, Geoffrey Smith
Eliminating Covert Flows with Minimum Typings. [Citation Graph (0, 0)][DBLP] CSFW, 1997, pp:156-169 [Conf]
- Dennis M. Volpano, Geoffrey Smith
Probabilistic Noninterference in a Concurrent Language. [Citation Graph (0, 0)][DBLP] CSFW, 1998, pp:34-43 [Conf]
- Geoffrey Smith, Dennis M. Volpano
Towards an ML-Style Polymorphic Type System for C. [Citation Graph (0, 0)][DBLP] ESOP, 1996, pp:341-355 [Conf]
- Dennis M. Volpano, Geoffrey Smith
On the Complexity of ML Typability with Overloading. [Citation Graph (0, 0)][DBLP] FPCA, 1991, pp:15-28 [Conf]
- Dennis M. Volpano
Haskell-style Overloading is NP-hard. [Citation Graph (0, 0)][DBLP] ICCL, 1994, pp:88-94 [Conf]
- Dennis M. Volpano, Richard B. Kieburtz
Software Templates. [Citation Graph (0, 0)][DBLP] ICSE, 1985, pp:55-61 [Conf]
- Dennis M. Volpano, Geoffrey Smith
Language Issues in Mobile Program Security. [Citation Graph (0, 0)][DBLP] Mobile Agents and Security, 1998, pp:25-43 [Conf]
- Geoffrey Smith, Dennis M. Volpano
Secure Information Flow in a Multi-Threaded Imperative Language. [Citation Graph (0, 0)][DBLP] POPL, 1998, pp:355-364 [Conf]
- Dennis M. Volpano, Geoffrey Smith
Verifying Secrets and Relative Secrecy. [Citation Graph (0, 0)][DBLP] POPL, 2000, pp:268-276 [Conf]
- Dennis M. Volpano
Safety versus Secrecy. [Citation Graph (0, 0)][DBLP] SAS, 1999, pp:303-311 [Conf]
- Dennis M. Volpano, Geoffrey Smith
A Type-Based Approach to Program Security. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1997, pp:607-621 [Conf]
- Dennis M. Volpano, Cynthia E. Irvine
Secure flow typing. [Citation Graph (0, 0)][DBLP] Computers & Security, 1997, v:16, n:2, pp:137-144 [Journal]
- Dennis M. Volpano
Provably Secure Programming Languages for Remote Evaluation. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1996, v:28, n:4es, pp:176- [Journal]
- Dennis M. Volpano, Geoffrey Smith
On the Systematic Design of Web Languages. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 1996, v:28, n:2, pp:315-317 [Journal]
- Catherine Meadows, Dennis M. Volpano
The MFPS XV Security Session. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
- Geoffrey Smith, Dennis M. Volpano
Confinement Properties for Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
- Ted G. Lewis, Dennis M. Volpano
Wired Wired World: Wired and Wired-Er. [Citation Graph (0, 0)][DBLP] IEEE Internet Computing, 1998, v:2, n:4, pp:97-99 [Journal]
- Dennis M. Volpano
Lower Bounds on Type Checking Overloading. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1996, v:57, n:1, pp:9-13 [Journal]
- Dennis M. Volpano, Geoffrey Smith
A Type Soundness Proof for Variables in LCF ML. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1995, v:56, n:3, pp:141-146 [Journal]
- Dennis M. Volpano, Hubert E. Dunsmore
Empirical investigation of COBOL features. [Citation Graph (0, 0)][DBLP] Inf. Process. Manage., 1984, v:20, n:1-2, pp:277-291 [Journal]
- Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith
A Sound Type System for Secure Flow Analysis. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 1996, v:4, n:2/3, pp:167-188 [Journal]
- Dennis M. Volpano, Geoffrey Smith
Probabilistic Noninterference in a Concurrent Language. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 1999, v:7, n:1, pp:- [Journal]
- Geoffrey Smith, Dennis M. Volpano
A Sound Polymorphic Type System for a Dialect of C. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1998, v:32, n:1-3, pp:49-72 [Journal]
- Dennis M. Volpano
Provably-Secure Programming Languages for Remote Evaluation. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1997, v:32, n:1, pp:117-119 [Journal]
- David Gries, Dennis M. Volpano
The Transform - a New Language Construct. [Citation Graph (0, 0)][DBLP] Structured Programming, 1990, v:11, n:1, pp:1-10 [Journal]
- Dennis M. Volpano
Type Checking Coherent Overloading. [Citation Graph (0, 0)][DBLP] Software - Concepts and Tools, 1995, v:16, n:2, pp:81-85 [Journal]
- Geoffrey Smith, Dennis M. Volpano
Polymorphic typing of Variables and References. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1996, v:18, n:3, pp:254-267 [Journal]
- Dennis M. Volpano
Subtypes and Quantification. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1991, v:13, n:4, pp:631-632 [Journal]
Search in 0.003secs, Finished in 0.304secs
|