The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dennis M. Volpano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dennis M. Volpano
    Secure Introduction of One-Way Functions. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:246-254 [Conf]
  2. Dennis M. Volpano
    Formalization and Proof of Secrecy Properties. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:92-95 [Conf]
  3. Dennis M. Volpano, Geoffrey Smith
    Eliminating Covert Flows with Minimum Typings. [Citation Graph (0, 0)][DBLP]
    CSFW, 1997, pp:156-169 [Conf]
  4. Dennis M. Volpano, Geoffrey Smith
    Probabilistic Noninterference in a Concurrent Language. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:34-43 [Conf]
  5. 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]
  6. Dennis M. Volpano, Geoffrey Smith
    On the Complexity of ML Typability with Overloading. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:15-28 [Conf]
  7. Dennis M. Volpano
    Haskell-style Overloading is NP-hard. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:88-94 [Conf]
  8. Dennis M. Volpano, Richard B. Kieburtz
    Software Templates. [Citation Graph (0, 0)][DBLP]
    ICSE, 1985, pp:55-61 [Conf]
  9. 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]
  10. 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]
  11. Dennis M. Volpano, Geoffrey Smith
    Verifying Secrets and Relative Secrecy. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:268-276 [Conf]
  12. Dennis M. Volpano
    Safety versus Secrecy. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:303-311 [Conf]
  13. Dennis M. Volpano, Geoffrey Smith
    A Type-Based Approach to Program Security. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:607-621 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002