VERONICA: Expressive and Precise Concurrent Information Flow Security
Schoepe, Daniel, Murray, Toby, Sabelfeld, Andrei
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Published in 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (01.06.2020)
Get full text
Conference Proceeding
Efficient computation and statistical assessment of transfer entropy
Boba, Patrick, Bollmann, Dominik, Schoepe, Daniel, Wester, Nora, Wiesel, Jan, Hamacher, Kay
Published in Frontiers in physics (03.03.2015)
Published in Frontiers in physics (03.03.2015)
Get full text
Journal Article
Understanding and Enforcing Opacity
Schoepe, Daniel, Sabelfeld, Andrei
Published in 2015 IEEE 28th Computer Security Foundations Symposium (04.09.2015)
Published in 2015 IEEE 28th Computer Security Foundations Symposium (04.09.2015)
Get full text
Conference Proceeding
Information-Flow Control for Database-Backed Applications
Guarnieri, Marco, Balliu, Musard, Schoepe, Daniel, Basin, David, Sabelfeld, Andrei
Published in 2019 IEEE European Symposium on Security and Privacy (EuroS&P) (01.06.2019)
Published in 2019 IEEE European Symposium on Security and Privacy (EuroS&P) (01.06.2019)
Get full text
Conference Proceeding
Explicit Secrecy: A Policy for Taint Tracking
Schoepe, Daniel, Balliu, Musard, Pierce, Benjamin C., Sabelfeld, Andrei
Published in 2016 IEEE European Symposium on Security and Privacy (EuroS and P) (01.03.2016)
Published in 2016 IEEE European Symposium on Security and Privacy (EuroS and P) (01.03.2016)
Get full text
Conference Proceeding
Journal Article
An Empirical Study of Information Flows in Real-World JavaScript
Staicu, Cristian-Alexandru, Schoepe, Daniel, Balliu, Musard, Pradel, Michael, Sabelfeld, Andrei
Year of Publication 27.06.2019
Year of Publication 27.06.2019
Get full text
Journal Article