Daniel Schoepe

15 papers A* 1A 5B 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2023 B conf
Lifting On-Demand Analysis to Higher-Order Languages.
SAS
Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, Bor-Yuh Evan Chang
2021 — conf
Automatic Annotation of Confidential Data in Java Code.
FPS
Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe
2020 J jnl
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices).
CoRR
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
2020 A conf
VERONICA: Expressive and Precise Concurrent Information Flow Security.
CSF
Daniel Schoepe, Toby Murray, Andrei Sabelfeld
2019 — conf
An Empirical Study of Information Flows in Real-World JavaScript.
PLAS@CCS
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
2019 J jnl
An Empirical Study of Information Flows in Real-World JavaScript.
CoRR
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
2019 A conf
Information-Flow Control for Database-Backed Applications.
EuroS&P
Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
2017 — conf
We Are Family: Relating Information-Flow Trackers.
ESORICS (1)
Musard Balliu, Daniel Schoepe, Andrei Sabelfeld
2016 A conf
Explicit Secrecy: A Policy for Taint Tracking.
EuroS&P
Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld
2016 — conf
JSLINQ: Building Secure Applications across Tiers.
CODASPY
Musard Balliu, Benjamin Liebe, Daniel Schoepe, Andrei Sabelfeld
2016 — conf
Let's Face It: Faceted Values for Taint Tracking.
ESORICS (1)
Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld
2015 A conf
Understanding and Enforcing Opacity.
CSF
Daniel Schoepe, Andrei Sabelfeld
2014 J jnl
A Formalization of Assumptions and Guarantees for Compositional Noninterference.
Arch. Formal Proofs
Sylvia Grewe, Heiko Mantel, Daniel Schoepe
2014 A conf
SeLINQ: tracking information across application-database boundaries.
ICFP
Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld