Daniel Schoepe
发表
Daniel Schoepe,
2016
.
Andrei Sabelfeld,
Daniel Schoepe,
Daniel Hedin,
2014,
ICFP.
Heiko Mantel,
Daniel Schoepe,
Sylvia Grewe,
2014,
Arch. Formal Proofs.
Michael Pradel,
Musard Balliu,
Andrei Sabelfeld,
2019,
PLAS@CCS.
Toby Murray,
Andrei Sabelfeld,
Daniel Schoepe,
2020,
2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Benjamin C. Pierce,
Musard Balliu,
Andrei Sabelfeld,
2016,
2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Daniel Schoepe,
Daniel Schoepe,
2018
.
Musard Balliu,
Andrei Sabelfeld,
Daniel Schoepe,
2016
.
Musard Balliu,
Andrei Sabelfeld,
Daniel Schoepe,
2017,
ESORICS.
Frank Piessens,
Musard Balliu,
Andrei Sabelfeld,
2016,
ESORICS.
Marco Guarnieri,
Musard Balliu,
David Basin,
2019,
2019 IEEE European Symposium on Security and Privacy (EuroS&P).
Musard Balliu,
Andrei Sabelfeld,
Daniel Schoepe,
2016,
CODASPY.
Daniel Schoepe,
Daniel Schoepe,
2014
.
Andrei Sabelfeld,
Daniel Schoepe,
A. Sabelfeld,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Musard Balliu,
Andrei Sabelfeld,
Daniel Schoepe,
2016
.