Sebastian Hunt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On flow-sensitive security types Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-08-21	Paper
Quantified interference for a while language	2013-09-20	Paper
From exponential to polynomial-time security typing via principal types Programming Languages and Systems	2011-05-19	Paper
Just Forget It – The Semantics and Enforcement of Information Erasure Programming Languages and Systems	2008-04-11	Paper
Static Analysis Lecture Notes in Computer Science	2006-10-31	Paper
Quantitative Information Flow, Relations and Polymorphic Types Journal Of Logic And Computation	2005-07-13	Paper
Information flow for Algol-like languages Computer Languages, Systems & Structures	2003-05-04	Paper
scientific article; zbMATH DE number 1617319 (Why is no real title available?)	2001-07-11	Paper
Fixed points and frontiers: a new perspective Journal of Functional Programming	2000-02-09	Paper
Erratum to: Approximate fixed points in abstrat interpretation Science of Computer Programming	1995-11-14	Paper
Approximate fixed points in abstract interpretation Science of Computer Programming	1995-01-26	Paper

Research outcomes over time

This page was built for person: Sebastian Hunt