All 2021 2019 2018 2017 2016 2015
All Journal Article Presentation Patent
Proceedings on Privacy Enhancing Technologies (PoPETs)
Volume: 2 Pages: 5-26
Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
Volume: - Pages: 718-725
10.1109/allerton.2019.8919803
Proc. of the 24th European Symposium on Research in Computer Security (ESORICS 2019), Part I, Lecture Notes in Computer Science
Volume: 11735 Pages: 128-148
10.1007/978-3-030-29959-0_7
Proc. of the 28th USENIX Security Symposium (USENIX Security 2019)
Volume: - Pages: 1877-1894
Proc. of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Lecture Notes in Computer Science
Volume: 11724 Pages: 293-311
10.1007/978-3-030-30446-1_16
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Lecture Notes in Computer Science
Volume: 11760 Pages: 344-362
10.1007/978-3-030-31175-9_20
Formal Aspects of Computing
Volume: 31(2) Issue: 2 Pages: 165-206
10.1007/s00165-018-0469-z
Proc. of the 7th International Conference on Principles of Security and Trust (POST 2018), Lecture Notes in Computer Science
Volume: 10804 Pages: 134-159
10.1007/978-3-319-89722-6_6
Proc. of the 2018 International Symposium on Information Theory and Its Applications (ISITA 2018)
Volume: - Pages: 159-163
10.23919/isita.2018.8664351
Entropy
Volume: 20(5:382) Issue: 5 Pages: 1-43
10.3390/e20050382
Logical Methods in Computer Science
Volume: 13 Pages: 1-31
10.23638/LMCS-13(3:11)2017
Proc. of the 8th International Conference on Decision and Game Theory for Security (GameSec 2017), Lecture Notes in Computer Science
Volume: 10575 Pages: 437-457
10.1007/978-3-319-68711-7_23
Proc. of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), Lecture Notes in Computer Science
Volume: 10482 Pages: 156-163
10.1007/978-3-319-68167-2_11
Proc. of the 21st International Symposium on Formal Methods (FM 2016), Lecture Notes in Computer Science
Volume: 9995 Pages: 406-425
10.1007/978-3-319-48989-6_25
Computer Software
Volume: 33 Issue: 4 Pages: 4_67-4_83
10.11309/jssst.33.4_67
130005290611
Electronic Proceedings in Theoretical Computer Science
Volume: 194 Pages: 4862-4862
10.4204/eptcs.194.4
