Daniel Schoepe

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 12

Top Topics

Information Flows

Top Venues

Publications

Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
Lifting On-Demand Analysis to Higher-Order Languages. SAS (2023)
Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe
Automatic Annotation of Confidential Data in Java Code. FPS (2021)
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
VERONICA: Expressive and Precise Concurrent Information Flow Security. CSF (2020)
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices). CoRR (2020)
Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
Information-Flow Control for Database-Backed Applications. EuroS&P (2019)
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
An Empirical Study of Information Flows in Real-World JavaScript. CoRR (2019)
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
An Empirical Study of Information Flows in Real-World JavaScript. PLAS@CCS (2019)
Musard Balliu, Daniel Schoepe, Andrei Sabelfeld
We Are Family: Relating Information-Flow Trackers. ESORICS (1) (2017)
Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld
Let's Face It: Faceted Values for Taint Tracking. ESORICS (1) (2016)
Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld
Explicit Secrecy: A Policy for Taint Tracking. EuroS&P (2016)
Musard Balliu, Benjamin Liebe, Daniel Schoepe, Andrei Sabelfeld
JSLINQ: Building Secure Applications across Tiers. CODASPY (2016)
Daniel Schoepe, Andrei Sabelfeld
Understanding and Enforcing Opacity. CSF (2015)
Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld
SeLINQ: tracking information across application-database boundaries. ICFP (2014)
Sylvia Grewe, Heiko Mantel, Daniel Schoepe
A Formalization of Assumptions and Guarantees for Compositional Noninterference. Arch. Formal Proofs 2014 (2014)