Daniel Hedin

Visiting Researcher at Information Security
gravatar.com image

Showing 26 publications

2023

LazyTAP: On-Demand Data Minimization for Trigger-Action Applications

Seyed Mohammad Mehdi Ahmadpanah, Daniel Hedin, Andrei Sabelfeld
Proceedings - IEEE Symposium on Security and Privacy. Vol. Volume 2023-May, p. 3079-3097
Paper in proceeding
2023

Poster: Data Minimization by Construction for Trigger-Action Applications

Seyed Mohammad Mehdi Ahmadpanah, Daniel Hedin, Andrei Sabelfeld
CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, p. 3522-3524
Paper in proceeding
2021

EssentialFP: Exposing the Essence of Browser Fingerprinting

Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld
Proceedings - 2021 IEEE European Symposium on Security and Privacy Workshops, Euro S and PW 2021, p. 32-48
Paper in proceeding
2021

SandTrap: Securing JavaScript-driven Trigger-Action Platforms

Seyed Mohammad Mehdi Ahmadpanah, Daniel Hedin, Musard Balliu et al
Proceedings of the 30th USENIX Security Symposium, p. 2899-2916
Paper in proceeding
2021

Securing Node-RED Applications

Seyed Mohammad Mehdi Ahmadpanah, Musard Balliu, Daniel Hedin et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 1-21
Book chapter
2018

Information Flow Tracking for Side-Effectful Libraries

Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10854, p. 141-160
Paper in proceeding
2017

A Principled Approach to Tracking Information Flow in the Presence of Libraries

Daniel Hedin, Alexander Sjösten, Frank Piessens et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10204, p. 49-70
Paper in proceeding
2016

Web Application Security using JSFlow

Daniel Hedin, Andrei Sabelfeld
Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, p. 16-19
Paper in proceeding
2016

Information-flow security for JavaScript and its APIs

Daniel Hedin, Luciano Bello, Andrei Sabelfeld
Journal of Computer Security. Vol. 24 (2), p. 181-234
Journal article
2016

App security with JSFlow

Daniel Hedin
IEEE/ACM International Conference on Mobile Software Engineering and Systems, MobileSoft 2016; Austin; United States; 16 May 2016 through 17 May 2016, p. 289-290
Paper in proceeding
2015

Value Sensitivity and Observable Abstract Values for Information Flow Control

Luciano Bello, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9450, p. 63-78
Paper in proceeding
2015

Value-sensitive Hybrid Information Flow Control for a JavaScript-like Language

Daniel Hedin, Luciano Bello, Andrei Sabelfeld
Proceedings. The Computer Security Foundations Workshop III. Vol. 2015-September, p. 351-365
Paper in proceeding
2014

SeLINQ: Tracking information across application-database boundaries

Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 49 (9), p. 25-38
Paper in proceeding
2014

JSFlow: Tracking Information Flow in JavaScript and its APIs

Daniel Hedin, Luciano Bello, Andrei Sabelfeld
Proceedings of the ACM Symposium on Applied Computing (SAC), p. 1663-1671
Paper in proceeding
2014

Architectures for Inlining Security Monitors in Web Application

Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8364, p. 141-160
Paper in proceeding
2012

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing

Arnar Birgisson, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7459, p. 55-72
Paper in proceeding
2012

Information-flow security for a core of JavaScript

Daniel Hedin, Andrei Sabelfeld
Proceedings. The Computer Security Foundations Workshop III, p. 3-18
Paper in proceeding
2012

Securing interactive programs

Willard Thor Rafnsson, Daniel Hedin, Andrei Sabelfeld
Proceedings. The Computer Security Foundations Workshop III, p. 293-307
Paper in proceeding
2011

A Perspective on Information-Flow Control

Daniel Hedin, Andrei Sabelfeld
Proceedings of the 2011 Marktoberdorf Summer School
Paper in proceeding
2008

Cryptographically-Masked Flows

Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Theoretical Computer Science. Vol. 402 (2-3), p. 82-101
Journal article
2008

Program Analysis Issues in Language Based Security

Daniel Hedin
Doctoral thesis
2008

Abstract Interpretation Plugins for Type Systems

Tobias Gedell, Daniel Hedin
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Vol. LNCS 5140, p. 184-198
Paper in proceeding
2007

Language Based Covert Channel Avoidance

Daniel Hedin
Licentiate thesis
2006

Cryptographically-Masked Flows

Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4134, p. 353-369
Paper in proceeding
2006

Noninterference in the presence of non-opaque pointers

Daniel Hedin, David Sands
Proceedings of the 19th IEEE Computer Security Foundations Workshop, p. 255-269
Paper in proceeding
2005

Timing Aware Information Flow Security for a JavaCard-like Bytecode

Daniel Hedin, David Sands
Electronic Notes in Theoretical Computer Science. Vol. 141 (1), p. 163-182
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Daniel Hedin participates, but you have to be logged in as a Chalmers employee to see them.