Concepedia

Geoffrey Smith

GS

Statistics

Publications

30

Citations

3K

H-Index

21

Active since

1996

Affiliations

Florida International University(Current)

Naval Postgraduate School

Laboratoire d'Informatique de l'École Polytechnique

Centre National de la Recherche Scientifique

Universidade Federal de Minas Gerais

Geoffrey Smith is an author at Florida International University specializing in computer science, computing, and computer security.

Publications per year

1996–2021

30

Publications

30

A sound type system for secure flow analysis

Dennis Volpano, Cynthia Irvine, Geoffrey Smith · Journal of Computer Security · 1996 · 963 citations

Computing, Computer Engineering, Computer Science +11

Secure information flow in a multi-threaded imperative language

Geoffrey Smith, Dennis Volpano · 1998 · 406 citations · Full text

Computing, Computer Science, Formal Methods +12

Measuring Information Leakage Using Generalized Gain Functions

Mário S. Alvim, Kostas Chatzikokolakis, Catuscia Palamidessi et al. · 2012 · 242 citations

Computing, Computer Science, Cybersecurity +17

Eliminating covert flows with minimum typings

Dennis Volpano, Geoffrey Smith · 2002 · 150 citations

Computing, Computer Science, Formal Methods +14

Probabilistic noninterference in a concurrent language1

Dennis Volpano, Geoffrey Smith · Journal of Computer Security · 1999 · 149 citations

Computing, Computer Science, Probability Theory +11

1–5 of 30