SeLINQ: tracking information across application-database boundaries. - Daniel Schoepe; Daniel Hedin; Andrei Sabelfeld (ICFP, 2014)

A Formalization of Assumptions and Guarantees for Compositional Noninterference. - Sylvia Grewe; Heiko Mantel; Daniel Schoepe (Arch. Formal Proofs, 2014)

Understanding and Enforcing Opacity. - Daniel Schoepe; Andrei Sabelfeld (CSF, 2015)

JSLINQ: Building Secure Applications across Tiers. - Musard Balliu; Benjamin Liebe; Daniel Schoepe; Andrei Sabelfeld (CODASPY, 2016)

Let's Face It: Faceted Values for Taint Tracking. - Daniel Schoepe; Musard Balliu; Frank Piessens; Andrei Sabelfeld (ESORICS (1), 2016)

Explicit Secrecy: A Policy for Taint Tracking. - Daniel Schoepe; Musard Balliu; Benjamin C. Pierce; Andrei Sabelfeld (EuroS&P, 2016)

We Are Family: Relating Information-Flow Trackers. - Musard Balliu; Daniel Schoepe; Andrei Sabelfeld (ESORICS (1), 2017)

An Empirical Study of Information Flows in Real-World JavaScript. - Cristian-Alexandru Staicu; Daniel Schoepe; Musard Balliu; Michael Pradel; Andrei Sabelfeld (PLAS@CCS, 2019)

Information-Flow Control for Database-Backed Applications. - Marco Guarnieri; Musard Balliu; Daniel Schoepe; David A. Basin; Andrei Sabelfeld (EuroS&P, 2019)

VERONICA: Expressive and Precise Concurrent Information Flow Security. - Daniel Schoepe; Toby Murray; Andrei Sabelfeld (CSF, 2020)

VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices). - Daniel Schoepe; Toby Murray; Andrei Sabelfeld (CoRR, 2020)

Automatic Annotation of Confidential Data in Java Code. - Iulia Bastys; Pauline Bolignano; Franco Raimondi; Daniel Schoepe (FPS, 2021)

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 (SAS, 2023)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)