Daniel Hedin

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Poster: Data Minimization by Construction for Trigger-Action Applications.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

SandTrap: Securing JavaScript-driven Trigger-Action Platforms.

[BibT_eX]

[DOI]

Proceedings of the 30th USENIX Security Symposium, 2021

EssentialFP: Exposing the Essence of Browser Fingerprinting.

[BibT_eX]

[DOI]

Alexander Sjösten

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

Securing Node-RED Applications.

[BibT_eX]

[DOI]

Proceedings of the Protocols, Strands, and Logic, 2021

2018

Information Flow Tracking for Side-Effectful Libraries.

[BibT_eX]

[DOI]

Alexander Sjösten

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

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

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

2016

Information-flow security for JavaScript and its APIs.

[BibT_eX]

[DOI]

Luciano Bello

J. Comput. Secur., 2016

App security with JSFlow.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

2015

Web Application Security Using JSFlow.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Value Sensitivity and Observable Abstract Values for Information Flow Control.

[BibT_eX]

[DOI]

Luciano Bello

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language.

[BibT_eX]

[DOI]

Luciano Bello

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

JSFlow: tracking information flow in JavaScript and its APIs.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

SeLINQ: tracking information across application-database boundaries.

[BibT_eX]

[DOI]

Daniel Schoepe

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Architectures for Inlining Security Monitors in Web Applications.

[BibT_eX]

[DOI]

Jonas Magazinius

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2012

A Perspective on Information-Flow Control.

[BibT_eX]

[DOI]

Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing.

[BibT_eX]

[DOI]

Arnar Birgisson

Proceedings of the Computer Security - ESORICS 2012, 2012

Securing Interactive Programs.

[BibT_eX]

[DOI]

Willard Rafnsson

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

Information-Flow Security for a Core of JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2010

A Machine-Checked Formalization of Sigma-Protocols.

[BibT_eX]

[DOI]

Gilles Barthe

Santiago Zanella Béguelin

Benjamin Grégoire

Sylvain Heraud

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2008

Cryptographically-masked flows.

[BibT_eX]

[DOI]

Aslan Askarov

Theor. Comput. Sci., 2008

Abstract Interpretation Plugins for Type Systems.

[BibT_eX]

[DOI]

Tobias Gedell

Proceedings of the Algebraic Methodology and Software Technology, 2008

2006

Noninterference in the Presence of Non-Opaque Pointers.

[BibT_eX]

[DOI]

David Sands

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Timing Aware Information Flow Security for a JavaCard-like Bytecode.

[BibT_eX]

[DOI]