Daniel Hedin

Gästforskare vid Informationssäkerhet

Källa: chalmers.se

Kontaktuppgifter

Publikationer (27)
Projekt (0)

Visar 27 publikationer

2024

Merging Places: A Real-Time Distributed Live Reverberation Chamber

Austin Franklin, Daniel Hedin, Rikard Lindell et al

2024 16th International Conference on Quality of Multimedia Experience, QoMEX 2024, p. 54-57

Paper i proceeding

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. 2023-May, p. 3079-3097

Paper i proceeding

Visa projekt

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 i 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 i 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 i proceeding

Visa projekt

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). Vol. 13066 LNCS, p. 1-21

Kapitel i bok

Visa projekt

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 LNCS, p. 141-160

Paper i 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 LNCS, p. 49-70

Paper i 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

Artikel i vetenskaplig tidskrift

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 i 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 i proceeding

2015

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 i 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 i 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 i 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 i 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 LNCS, p. 141-160

Paper i 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 LNCS, p. 55-72

Paper i 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 i proceeding

2012

Securing interactive programs

Willard Thor Rafnsson, Daniel Hedin, Andrei Sabelfeld

Proceedings. The Computer Security Foundations Workshop III, p. 293-307

Paper i proceeding

2011

A Perspective on Information-Flow Control

Daniel Hedin, Andrei Sabelfeld

Proceedings of the 2011 Marktoberdorf Summer School

Paper i proceeding

2008

Cryptographically-Masked Flows

Aslan Askarov, Daniel Hedin, Andrei Sabelfeld

Theoretical Computer Science. Vol. 402 (2-3), p. 82-101

Artikel i vetenskaplig tidskrift

2008

Program Analysis Issues in Language Based Security

Daniel Hedin

Doktorsavhandling

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 i proceeding

2007

Language Based Covert Channel Avoidance

Daniel Hedin

Licentiatavhandling

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 i 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 i 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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Daniel Hedin medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.