Geoffrey Smith

	2009
29		Geoffrey Smith: On the Foundations of Quantitative Information Flow. FOSSACS 2009: 288-302
	2007
28		Geoffrey Smith, Rafael Alpízar: Fast probabilistic simulation, nontermination, and secure information flow. PLAS 2007: 67-72
27		Geoffrey Smith: Adversaries and Information Leaks (Tutorial). TGC 2007: 383-400
	2006
26		Geoffrey Smith: Inductive bases and their application to searches for minimal unary NFAs. ACM Southeast Regional Conference 2006: 470-475
25		Zhenyue Deng, Geoffrey Smith: Type inference and informative error reporting for secure information flow. ACM Southeast Regional Conference 2006: 543-548
24		Geoffrey Smith: Secure information flow with random assignment and encryption. FMSE 2006: 33-44
23		Geoffrey Smith: Improved typings for probabilistic noninterference in a multi-threaded language. Journal of Computer Security 14(6): 591-623 (2006)
	2004
22		Zhenyue Deng, Geoffrey Smith: Lenient Array Operations for Practical Secure Information Flow. CSFW 2004: 115-
	2003
21		Geoffrey Smith: Probabilistic Noninterference through Weak Probabilistic Bisimulation. CSFW 2003: 3-13
	2001
20		Geoffrey Smith: A New Type System for Secure Information Flow. CSFW 2001: 115-125
19		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		Dennis M. Volpano, Geoffrey Smith: Verifying Secrets and Relative Secrecy. POPL 2000: 268-276
	1999
17		Franck Chevalier, David Harle, Geoffrey Smith: Resource Discovery in Trilogy CoRR cs.DL/9902015: (1999)
16		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		Dennis M. Volpano, Geoffrey Smith: Probabilistic Noninterference in a Concurrent Language. CSFW 1998: 34-43
13		Dennis M. Volpano, Geoffrey Smith: Language Issues in Mobile Program Security. Mobile Agents and Security 1998: 25-43
12		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		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		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		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

Coauthor Index

1	Rafael Alpízar	[28]
2	Franck Chevalier	[17]
3	Yi Deng	[19]
4	Zhenyue Deng	[22] [25]
5	David Harle	[17]
6	Cynthia E. Irvine	[5]
7	Dennis M. Volpano	[1] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18]
8	Nathan N. Vuong	[19]

Colors in the list of coauthors