Sebastian Hunt

Available identifiers

zbMath Open hunt.sebastianMaRDI QIDQ1330438

List of research outcomes

Publication	Date of Publication	Type
On flow-sensitive security types	2017-08-21	Paper
Quantified interference for a while language	2013-09-20	Paper
From Exponential to Polynomial-Time Security Typing via Principal Types	2011-05-19	Paper
Just Forget It – The Semantics and Enforcement of Information Erasure	2008-04-11	Paper
Static Analysis	2006-10-31	Paper
Quantitative Information Flow, Relations and Polymorphic Types	2005-07-13	Paper
Information flow for Algol-like languages	2003-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q2722050	2001-07-11	Paper
Fixed points and frontiers: a new perspective	2000-02-09	Paper
Erratum to: Approximate fixed points in abstrat interpretation	1995-11-14	Paper
Approximate fixed points in abstract interpretation	1995-01-26	Paper

Research outcomes over time

This page was built for person: Sebastian Hunt