Daniel Hedin
Gästforskare vid
Chalmers, Data- och informationsteknik, Informationssäkerhet
Visar 21 publikationer
2018
Information Flow Tracking for Side-Effectful Libraries
Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science. Vol. 10854, 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. Vol. 10204, p. 49-70
Paper i proceeding
2016
Web Application Security using JSFlow
Daniel Hedin, Andrei Sabelfeld
2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, p. 16-19
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
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
2015
Value Sensitivity and Observable Abstract Values for Information Flow Control
Luciano Bello, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science. Vol. 9450, p. 63-78
Paper i proceeding
2015
Value-sensitive Hybrid Information Flow Control for a JavaScript-like Language
Daniel Hedin, Luciano Bello, Andrei Sabelfeld
28th IEEE Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July. Vol. 2015-September, p. 351-365
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
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
Architectures for Inlining Security Monitors in Web Application
Jonas Magazinius, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science. Vol. 8364, p. 141-160
Paper i proceeding
2012
Securing interactive programs
Willard Thor Rafnsson, Daniel Hedin, Andrei Sabelfeld
Proceedings of the Computer Security Foundations Symposium, p. 293-307
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. Vol. 7459, p. 55-72
Artikel i vetenskaplig tidskrift
2012
Information-flow security for a core of JavaScript
Daniel Hedin, Andrei Sabelfeld
Proceedings of the Computer Security Foundations Symposium, p. 3-18
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
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
2006
Cryptographically-Masked Flows
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
Lecture Notes in Computer Science. 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
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.