Concepedia

Sebastian Hunt

SH

Statistics

Publications

11

Citations

869

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 computer science, computing, and data-flow analysis.

Publications per year

1989–2007

11

Publications

11

On flow-sensitive security types

Sebastian Hunt, David Sands · 2006 · 204 citations

Computing, Computer Science, Compilers +13

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

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

Computing, Computer Science, Formal Methods +12

Quantitative Analysis of the Leakage of Confidential Data

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

Computing, Computer Science, Cybersecurity +17

Quantified Interference for a While Language

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

Computing, Computer Science, Information Theory +6

Binding time analysis

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

Computing, Computer Science, Building Information Modeling +5

1–5 of 11