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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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 (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
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.