| 2009 |
|---|
| 29 | EE | Geoffrey Smith:
On the Foundations of Quantitative Information Flow.
FOSSACS 2009: 288-302 |
| 2007 |
|---|
| 28 | EE | Geoffrey Smith,
Rafael Alpízar:
Fast probabilistic simulation, nontermination, and secure information flow.
PLAS 2007: 67-72 |
| 27 | EE | Geoffrey Smith:
Adversaries and Information Leaks (Tutorial).
TGC 2007: 383-400 |
| 2006 |
|---|
| 26 | EE | Geoffrey Smith:
Inductive bases and their application to searches for minimal unary NFAs.
ACM Southeast Regional Conference 2006: 470-475 |
| 25 | EE | Zhenyue Deng,
Geoffrey Smith:
Type inference and informative error reporting for secure information flow.
ACM Southeast Regional Conference 2006: 543-548 |
| 24 | EE | Geoffrey Smith:
Secure information flow with random assignment and encryption.
FMSE 2006: 33-44 |
| 23 | EE | Geoffrey Smith:
Improved typings for probabilistic noninterference in a multi-threaded language.
Journal of Computer Security 14(6): 591-623 (2006) |
| 2004 |
|---|
| 22 | EE | Zhenyue Deng,
Geoffrey Smith:
Lenient Array Operations for Practical Secure Information Flow.
CSFW 2004: 115- |
| 2003 |
|---|
| 21 | EE | Geoffrey Smith:
Probabilistic Noninterference through Weak Probabilistic Bisimulation.
CSFW 2003: 3-13 |
| 2001 |
|---|
| 20 | EE | Geoffrey Smith:
A New Type System for Secure Information Flow.
CSFW 2001: 115-125 |
| 19 | EE | Nathan N. Vuong,
Geoffrey Smith,
Yi Deng:
Managing security policies in a distributed environment using eXtensible markup language (XML).
SAC 2001: 405-411 |
| 2000 |
|---|
| 18 | EE | Dennis M. Volpano,
Geoffrey Smith:
Verifying Secrets and Relative Secrecy.
POPL 2000: 268-276 |
| 1999 |
|---|
| 17 | EE | Franck Chevalier,
David Harle,
Geoffrey Smith:
Resource Discovery in Trilogy
CoRR cs.DL/9902015: (1999) |
| 16 | EE | Geoffrey Smith,
Dennis M. Volpano:
Confinement Properties for Multi-Threaded Programs.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
| 15 | | Dennis M. Volpano,
Geoffrey Smith:
Probabilistic Noninterference in a Concurrent Language.
Journal of Computer Security 7(1): (1999) |
| 1998 |
|---|
| 14 | EE | Dennis M. Volpano,
Geoffrey Smith:
Probabilistic Noninterference in a Concurrent Language.
CSFW 1998: 34-43 |
| 13 | EE | Dennis M. Volpano,
Geoffrey Smith:
Language Issues in Mobile Program Security.
Mobile Agents and Security 1998: 25-43 |
| 12 | EE | Geoffrey Smith,
Dennis M. Volpano:
Secure Information Flow in a Multi-Threaded Imperative Language.
POPL 1998: 355-364 |
| 11 | | 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 |
|---|
| 10 | EE | Dennis M. Volpano,
Geoffrey Smith:
Eliminating Covert Flows with Minimum Typings.
CSFW 1997: 156-169 |
| 9 | | Dennis M. Volpano,
Geoffrey Smith:
A Type-Based Approach to Program Security.
TAPSOFT 1997: 607-621 |
| 1996 |
|---|
| 8 | | Geoffrey Smith,
Dennis M. Volpano:
Towards an ML-Style Polymorphic Type System for C.
ESOP 1996: 341-355 |
| 7 | | Dennis M. Volpano,
Geoffrey Smith:
On the Systematic Design of Web Languages.
ACM Comput. Surv. 28(2): 315-317 (1996) |
| 6 | EE | Geoffrey Smith,
Dennis M. Volpano:
Polymorphic typing of Variables and References.
ACM Trans. Program. Lang. Syst. 18(3): 254-267 (1996) |
| 5 | | 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 |
|---|
| 4 | EE | Dennis M. Volpano,
Geoffrey Smith:
A Type Soundness Proof for Variables in LCF ML.
Inf. Process. Lett. 56(3): 141-146 (1995) |
| 1994 |
|---|
| 3 | | Geoffrey Smith:
Principal Type Schemes for Functional Programs with Overloading and Subtyping.
Sci. Comput. Program. 23(2-3): 197-226 (1994) |
| 1993 |
|---|
| 2 | | Geoffrey Smith:
Polymorphic Type Inference with Overloading and Subtyping.
TAPSOFT 1993: 671-685 |
| 1991 |
|---|
| 1 | | Dennis M. Volpano,
Geoffrey Smith:
On the Complexity of ML Typability with Overloading.
FPCA 1991: 15-28 |
