Publications
JSFlow rests on a solid theroetical foundation of dynamic information flow for JavaScript.
Information Flow Tracking for Side-effectful Libraries.
Alexander Sjösten, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) Madrid, Spain, June 2018.
Alexander Sjösten, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) Madrid, Spain, June 2018.
A Principled Approach to Tracking Information Flow in the Presence of
Libraries.
Daniel Hedin, Alexander Sjösten, Frank Piessens, and Andrei Sabelfeld In Proceedings of the International Conference on Principles of Security and Trust (POST) Uppsala, Sweden, April 2017.
Daniel Hedin, Alexander Sjösten, Frank Piessens, and Andrei Sabelfeld In Proceedings of the International Conference on Principles of Security and Trust (POST) Uppsala, Sweden, April 2017.
Value Sensitivity and Observable Abstract Values for Information Flow
Control.
Luciano Bello, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) Suva, Fiji, November 2015.
Luciano Bello, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) Suva, Fiji, November 2015.
Value-sensitive Hybrid Information Flow Control for a JavaScript-like
Language.
Daniel Hedin, Luciano Bello, and Andrei Sabelfeld In Proceedings of the IEEE Computer Security Foundations Symposium (CSF) Verona, Italy, July 2015.
Daniel Hedin, Luciano Bello, and Andrei Sabelfeld In Proceedings of the IEEE Computer Security Foundations Symposium (CSF) Verona, Italy, July 2015.
JSFlow: Tracking Information Flow in JavaScript and its APIs.
Daniel Hedin, Arnar Birgisson, Luciano Bello, and Andrei Sabelfeld In Proceedings of the ACM Symposium on Applied Computing (SAC), Gyeongju, Korea, March 2014
Daniel Hedin, Arnar Birgisson, Luciano Bello, and Andrei Sabelfeld In Proceedings of the ACM Symposium on Applied Computing (SAC), Gyeongju, Korea, March 2014
Architectures for Inlining Security Monitors in Web Application.
Jonas Magazinius, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS), Munich, Germany, February 2014.
Jonas Magazinius, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS), Munich, Germany, February 2014.
Information-flow security
for a core of JavaScript.
Daniel Hedin, and Andrei Sabelfeld In Proceedings of the IEEE Computer Security Foundations Symposium, Harvard University, Cambridge MA, June 25-27, 2012. IEEE Computer Society Press.
Daniel Hedin, and Andrei Sabelfeld In Proceedings of the IEEE Computer Security Foundations Symposium, Harvard University, Cambridge MA, June 25-27, 2012. IEEE Computer Society Press.
Boosting the Permissiveness
of Dynamic Information-Flow Tracking by Testing.
Arnar Birgisson, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the European Symposium on Research in Computer Security (ESORICS), Pisa, Italy, September 2012, LNCS, Springer-Verlag.
Arnar Birgisson, Daniel Hedin, and Andrei Sabelfeld In Proceedings of the European Symposium on Research in Computer Security (ESORICS), Pisa, Italy, September 2012, LNCS, Springer-Verlag.