Daniel Hedin

Available identifiers

zbMath Open hedin.danielMaRDI QIDQ935462

List of research outcomes

Publication	Date of Publication	Type
Information Flow Tracking for Side-Effectful Libraries	2023-03-10	Paper
A Principled Approach to Tracking Information Flow in the Presence of Libraries	2020-08-03	Paper
SeLINQ: tracking information across application-database boundaries	2016-09-29	Paper
Value sensitivity and observable abstract values for information flow control	2016-01-12	Paper
Cryptographically-Masked Flows	2009-03-12	Paper
Abstract Interpretation Plugins for Type Systems	2009-01-27	Paper
Cryptographically-masked flows	2008-08-06	Paper

Research outcomes over time

This page was built for person: Daniel Hedin