Daniel Hedin

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 10

Top Topics

Web Applications

Functional Modules

Information Flow

Top Venues

EuroS&P Workshops

Publications

Austin Franklin, Daniel Hedin, Rikard Lindell, Henrik Frisk
Merging Places: A Real-Time Distributed Live Reverberation Chamber. QoMEX (2024)
Mohammad M. Ahmadpanah, Daniel Hedin, Andrei Sabelfeld
LazyTAP: On-Demand Data Minimization for Trigger-Action Applications. SP (2023)
Mohammad M. Ahmadpanah, Daniel Hedin, Andrei Sabelfeld
Poster: Data Minimization by Construction for Trigger-Action Applications. CCS (2023)
Mohammad M. Ahmadpanah, Musard Balliu, Daniel Hedin, Lars Eric Olsson, Andrei Sabelfeld
Securing Node-RED Applications. Protocols, Strands, and Logic (2021)
Mohammad M. Ahmadpanah, Daniel Hedin, Musard Balliu, Lars Eric Olsson, Andrei Sabelfeld
SandTrap: Securing JavaScript-driven Trigger-Action Platforms. USENIX Security Symposium (2021)
Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld
EssentialFP: Exposing the Essence of Browser Fingerprinting. EuroS&P Workshops (2021)
Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld
Information Flow Tracking for Side-Effectful Libraries. FORTE (2018)
Daniel Hedin, Alexander Sjösten, Frank Piessens, Andrei Sabelfeld
A Principled Approach to Tracking Information Flow in the Presence of Libraries. POST (2017)
Daniel Hedin
App security with JSFlow. MOBILESoft (2016)
Daniel Hedin, Luciano Bello, Andrei Sabelfeld
Information-flow security for JavaScript and its APIs. J. Comput. Secur. 24 (2) (2016)
Luciano Bello, Daniel Hedin, Andrei Sabelfeld
Value Sensitivity and Observable Abstract Values for Information Flow Control. LPAR (2015)
Daniel Hedin, Luciano Bello, Andrei Sabelfeld
Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language. CSF (2015)
Daniel Hedin, Andrei Sabelfeld
Web Application Security Using JSFlow. SYNASC (2015)
Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld
SeLINQ: tracking information across application-database boundaries. ICFP (2014)
Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld
Architectures for Inlining Security Monitors in Web Applications. ESSoS (2014)
Daniel Hedin, Arnar Birgisson, Luciano Bello, Andrei Sabelfeld
JSFlow: tracking information flow in JavaScript and its APIs. SAC (2014)
Daniel Hedin, Andrei Sabelfeld
Information-Flow Security for a Core of JavaScript. CSF (2012)
Willard Rafnsson, Daniel Hedin, Andrei Sabelfeld
Securing Interactive Programs. CSF (2012)
Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld
Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing. ESORICS (2012)
Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud
A Machine-Checked Formalization of Sigma-Protocols. CSF (2010)
Tobias Gedell, Daniel Hedin
Abstract Interpretation Plugins for Type Systems. AMAST (2008)
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Cryptographically-masked flows. Theor. Comput. Sci. 402 (2-3) (2008)
Daniel Hedin, David Sands
Noninterference in the Presence of Non-Opaque Pointers. CSFW (2006)
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Cryptographically-Masked Flows. SAS (2006)
Daniel Hedin, David Sands
Timing Aware Information Flow Security for a JavaCard-like Bytecode. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)