Daniel Hedin

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