All 2019 2018 2017 2016 2015
All Journal Article Presentation Patent
Formal Aspects of Computing
Volume: 31(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) 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
Computer Software
Volume: 33(4) Issue: 4 Pages: 4_67-4_83
10.11309/jssst.33.4_67
130005290611
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
Electronic Proceedings in Theoretical Computer Science
Volume: 194 Pages: 4862-4862
10.4204/eptcs.194.4