Daniel Schoepe

According to our database, Daniel Schoepe authored at least 13 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lifting On-Demand Analysis to Higher-Order Languages.

Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 30th International Symposium, 2023

2021

Automatic Annotation of Confidential Data in Java Code.

Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

2020

VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices).

Daniel Schoepe, Toby Murray, Andrei Sabelfeld

CoRR, 2020

VERONICA: Expressive and Precise Concurrent Information Flow Security.

Daniel Schoepe, Toby Murray, Andrei Sabelfeld

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Information-Flow Control for Database-Backed Applications.

Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

An Empirical Study of Information Flows in Real-World JavaScript.

Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

2017

We Are Family: Relating Information-Flow Trackers.

Musard Balliu, Daniel Schoepe, Andrei Sabelfeld

Proceedings of the Computer Security - ESORICS 2017, 2017

2016

Explicit Secrecy: A Policy for Taint Tracking.

Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

Let's Face It: Faceted Values for Taint Tracking.

Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld

Proceedings of the Computer Security - ESORICS 2016, 2016

JSLINQ: Building Secure Applications across Tiers.

Musard Balliu, Benjamin Liebe, Daniel Schoepe, Andrei Sabelfeld

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015

Understanding and Enforcing Opacity.

Daniel Schoepe, Andrei Sabelfeld

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

2014

A Formalization of Assumptions and Guarantees for Compositional Noninterference.

Sylvia Grewe, Heiko Mantel, Daniel Schoepe

Arch. Formal Proofs, 2014

SeLINQ: tracking information across application-database boundaries.

Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld

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