Daniel Schoepe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | 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, Clment 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, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2023 | SAS | 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 |
| 2019 | CCS | An Empirical Study of Information Flows in Real-World JavaScript. | Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld |
| 2017 | ESORICS | We Are Family: Relating Information-Flow Trackers. | Musard Balliu, Daniel Schoepe, Andrei Sabelfeld |
| 2016 | ESORICS | Let's Face It: Faceted Values for Taint Tracking. | Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld |
| 2014 | ICFP | SeLINQ: tracking information across application-database boundaries. | Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld |