Selected Papers by Geoffrey Smith

The materials on this page are based upon work supported by the National Science Foundation under Grant Nos. CNS-1749014, CNS-1116318, CNS-0831114, HRD-0317692, CCR-990951, CCR-9612176, and CCR-9596113. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

This group of papers considers the area of secure information flow, which is concerned with preventing systems from leaking information about their secret inputs to their publicly-observable outputs. Through about 2006, the emphasis was on ensuring noninterference, which roughly means that there is no leakage at all. More recent work has focused on quantitative information flow, with the goal of ensuring that the amount of leakage is in some sense small.

Here is some work on intrusion detection:

Here is some work on minimal nondeterministic finite automata:

The following paper considers the use of XML for managing role-based access control policies:

The following papers present sound polymorphic type systems for imperative languages. By considering traditional variables rather than Standard ML's references, we are able to type programs less restrictively.

The following papers, based on my PhD dissertation work, address the problem of extending Hindley/Milner type inference to allow overloaded operators and atomic subtyping.

Geoffrey Smith's homepage