Travelled to:1 × France
1 × Germany
1 × Hungary
2 × United Kingdom
3 × USA
Collaborated with:D.Sands C.Hankin D.Clark P.Malacaria I.Mastroeni ∅
Talks about:abstract (4) interpret (3) analysi (3) type (3) interfer (2) approxim (2) secur (2) point (2) time (2) fix (2)
Person: Sebastian Hunt
DBLP: Hunt:Sebastian
Contributed to:
20112008
2006
2005
20052001200019921994
1991
1989Wrote 11 papers:
- ESOP-2011-HuntS #exponential #polynomial #security #type system
- From Exponential to Polynomial-Time Security Typing via Principal Types (SH, DS), pp. 297–316.
- ESOP-2008-HuntS #semantics
- Just Forget It — The Semantics and Enforcement of Information Erasure (SH, DS), pp. 239–253.
- POPL-2006-HuntS #on the #security
- On flow-sensitive security types (SH, DS), pp. 79–90.
- SAS-2005-HuntM
- The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.
- QAPL-2004-ClarkHM05 #quantifier
- Quantified Interference for a While Language (DC, SH, PM), pp. 149–166.
- QAPL-2001-ClarkHM #analysis
- Quantitative Analysis of the Leakage of Confidential Data (DC, SH, PM), pp. 238–251.
- SAS-2000-ClarkHH #analysis #graph grammar #safety #strict
- Safety of Strictness Analysis via Term Graph Rewriting (DC, CH, SH), pp. 95–114.
- ESOP-1992-HankinH #abstract interpretation #approximate #fixpoint
- Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 219–232.
- ESOP-J-1992-HankinH94 #abstract interpretation #approximate #fixpoint
- Approximate Fixed Points in Abstract Interpretation (CH, SH), pp. 283–306.
- PEPM-1991-HuntS #analysis #perspective
- Binding Time Analysis: A New PERspective (SH, DS), pp. 154–165.
- FPCA-1989-Hunt #abstract interpretation #set
- Frontiers and Open Sets in Abstract Interpretation (SH), pp. 1–13.