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