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 engineering, computer science, and information security.

Top concepts

EngineeringComputer ScienceData SecurityInformation SecurityCryptographyData PrivacyProgram AnalysisFormal MethodsFormal VerificationSoftware Analysis

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 · 958 citations

Engineering, Information Security, Security Evaluation +20

Secure information flow in a multi-threaded imperative language

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

Engineering, Information Security, Restrictive Type System +20

Measuring Information Leakage Using Generalized Gain Functions

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

Engineering, Information Security, Information Leakage +17

Eliminating covert flows with minimum typings

Dennis Volpano, Geoffrey Smith · 2002 · 149 citations

Engineering, Information Security, Imperative Programming Language +21

Probabilistic noninterference in a concurrent language1

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

Engineering, Type Theory, Probabilistic Computation +19

1–5 of 30