Concepedia

Sebastian Hunt

SH

Statistics

Publications

11

Citations

867

H-Index

11

Active since

1989

Affiliations

Imperial College London(Current)

City, University of London

King's College London

Queen Mary University of London

Chalmers University of Technology

Sebastian Hunt is an author at Imperial College London specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisAutomated ReasoningSoftware AnalysisFormal VerificationInformation SecurityCryptographyVerification

Publications per year

1989–2007

11

Publications

11

On flow-sensitive security types

Sebastian Hunt, David Sands · 2006 · 204 citations

Engineering, Information Security, Type Theory +20

A static analysis for quantifying information flow in a simple imperative language

David Clark, Sebastian Hunt, Pasquale Malacaria · Journal of Computer Security · 2007 · 177 citations

Quantitative Analysis of the Leakage of Confidential Data

David Clark, Sebastian Hunt, Pasquale Malacaria · Electronic Notes in Theoretical Computer Science · 2002 · 164 citations · Full text

Engineering, Information Security, Information Leakage +24

Quantified Interference for a While Language

David Clark, Sebastian Hunt, Pasquale Malacaria · Electronic Notes in Theoretical Computer Science · 2005 · 90 citations · Full text

Engineering, Information Security, Psycholinguistics +26

Binding time analysis

Sebastian Hunt, David Sands · 1991 · 61 citations · Full text

1–5 of 11