Segui
Daniel Schoepe
Titolo
Citata da
Citata da
Anno
Explicit secrecy: A policy for taint tracking
D Schoepe, M Balliu, BC Pierce, A Sabelfeld
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 15-30, 2016
602016
SeLINQ: tracking information across application-database boundaries
D Schoepe, D Hedin, A Sabelfeld
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
472014
An empirical study of information flows in real-world javascript
CA Staicu, D Schoepe, M Balliu, M Pradel, A Sabelfeld
Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and …, 2019
382019
Efficient computation and statistical assessment of transfer entropy
P Boba, D Bollmann, D Schoepe, N Wester, J Wiesel, K Hamacher
Frontiers in Physics 3, 10, 2015
242015
We are family: Relating information-flow trackers
M Balliu, D Schoepe, A Sabelfeld
Computer Security–ESORICS 2017: 22nd European Symposium on Research in …, 2017
232017
Information-flow control for database-backed applications
M Guarnieri, M Balliu, D Schoepe, D Basin, A Sabelfeld
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 79-94, 2019
202019
Let’s face it: Faceted values for taint tracking
D Schoepe, M Balliu, F Piessens, A Sabelfeld
Computer Security–ESORICS 2016: 21st European Symposium on Research in …, 2016
202016
Jslinq: Building secure applications across tiers
M Balliu, B Liebe, D Schoepe, A Sabelfeld
Proceedings of the Sixth ACM Conference on Data and Application Security and …, 2016
182016
Understanding and enforcing opacity
D Schoepe, A Sabelfeld
2015 IEEE 28th Computer Security Foundations Symposium, 539-553, 2015
142015
VERONICA: expressive and precise concurrent information flow security
D Schoepe, T Murray, A Sabelfeld
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 79-94, 2020
122020
VERONICA: Expressive and precise concurrent information flow security (extended version with technical appendices)
D Schoepe, T Murray, A Sabelfeld
arXiv preprint arXiv:2001.11142, 2020
52020
A formalization of assumptions and guarantees for compositional noninterference
S Grewe, H Mantel, D Schoepe
Archive of Formal Proofs 2014, 2014
52014
Veronica: Verified concurrent information flow security unleashed
D Schoepe, T Murray, A Sabelfeld
22019
Automated reasoning
G Yang, P He, X Liu, H Barbosa, C Barrett, B Cook, C Tinelli, A Reynolds, ...
12019
Flexible information-flow control
D Schoepe
PQDT-Global, 2018
12018
Lifting on-demand analysis to higher-order languages
D Schoepe, D Seekatz, I Stoilkovska, S Stucki, D Tattersall, P Bolignano, ...
International Static Analysis Symposium, 460-484, 2023
2023
Automatic Annotation of Confidential Data in Java Code
I Bastys, P Bolignano, F Raimondi, D Schoepe
International Symposium on Foundations and Practice of Security, 146-161, 2021
2021
Let’s face it: Faceted values for taint tracking (Extended version)
D Schoepe, M Balliu, F Piessens, A Sabelfeld
2016
Flexible and Practical Information-flow Control
D Schoepe
Chalmers University of Technology, 2016
2016
JSLINQ: Building Secure Applications across Tiers (Extended Version)
M Balliu, B Liebe, D Schoepe, A Sabelfeld
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20