I'm a Senior Applied Scientist working on formal verification at AWS, focusing on deductive verification of Rust code.

[github]

Publications

2025

• Formally Verified Cloud-Scale Authorization
  Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Mike Hicks, Sam Huang, Georges Axel Jaloyan, Anjali Joshi, Rustan 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, John Tristan, Lucas Wagner, Mike Whalen, Remy Willems, Jenny Xiang, Tae Joon Byun, Joshua Cohen, Ruijie Wang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
  ACM International Conference on Software Engineering (ICSE)
  Ottawa, Canada, 2025
  

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
  Static Analysis Symposium (SAS)
  Cascais, Portugal, 2023
  

2021

• Automatic Annotation of Confidential Data in Java Code
  Iulia Bastys, Pauline Bolignano, Franco Raimondi, Daniel Schoepe
  Foundations and Practice of Security (FPS)
  Paris, France, 2021
  

2020

• VERONICA: Expressive and Precise Concurrent Information Flow Security
  Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
  IEEE Computer Security Foundations Symposium (CSF)
  Boston, USA, 2020
  

2019

• An Empirical Study of Information Flows in Real-World JavaScript
  Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
  Programming Languages and Analysis for Security (PLAS)
  London, UK, 2019
  
• Information-Flow Control for Database-Backed Applications
  Marco Guarnieri, Musard Balliu, Daniel Schoepe, David A. Basin, Andrei Sabelfeld
  IEEE European Symposium on Security and Privacy (EuroSP)
  Stockholm, Sweden, 2019
  

2017

• We are Family: Relating Information-Flow Trackers
  Musard Balliu, Daniel Schoepe, Andrei Sabelfeld
  European Symposium on Research in Computer Security (ESORICS)
  Oslo, Norway, 2017
  [pdf]
• We are Family: Relating Information-Flow Trackers
  Musard Balliu, Daniel Schoepe, Andrei Sabelfeld
  European Symposium on Research in Computer Security (ESORICS)
  Oslo, Norway, 2017
  [pdf]

2016

• Let's Face It: Faceted Values for Taint Tracking
  Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld
  European Symposium on Research in Computer Security (ESORICS)
  Heraklion, Greece, 2016
  [pdf] [supplementary material]
• Flexible and Practical Information-Flow Control
  Daniel Schoepe
  Licentiate Thesis
  Gothenburg, Sweden, 2016
  [pdf]
• Explicit Secrecy: A Policy for Taint Tracking
  Daniel Schoepe, Musard Balliu, Benjamin C. Pierce, Andrei Sabelfeld
  IEEE European Symposium on Security and Privacy (EuroSP)
  Saarbrücken, Germany, 2016
  [pdf] [supplementary material]
• JSLINQ: Building Secure Applications across Tiers
  Musard Balliu, Benjamin Liebe, Daniel Schoepe, Andrei Sabelfeld
  ACM Conference on Data and Application Security and Privacy (CODASPY)
  New Orleans, USA, 2016
  [pdf]

2015

• Understanding and Enforcing Opacity
  Daniel Schoepe, Andrei Sabelfeld
  IEEE Computer Security Foundations Symposium (CSF)
  Verona, Italy, 2015
  [pdf] [supplementary material]
• Efficient computation and statistical assessment of transfer entropy
  Patrick Boba, Dominik Bollmann, Daniel Schoepe, Nora Wester, Jan Wiesel, and Kay Hamacher
  Frontiers in Physics, 2015
  [pdf]

2014

• SeLINQ: Tracking Information Across Application-Database Boundaries
  Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld
  ACM International Conference on Functional Programming (ICFP)
  Gothenburg, Sweden, 2014
  [pdf]
• A Formalization of Assumptions and Guarantees for Compositional Noninterference
  Sylvia Grewe, Heiko Mantel, Daniel Schoepe
  Archive of Formal Proofs (AFP), 2014
  [link]