すべて 2024 2023 2021 2019 2018 2017 2016 2015
すべて 雑誌論文 学会発表 産業財産権
Artificial Intelligence
巻: 326 ページ: 104045-104045
10.1016/j.artint.2023.104045
arXiv
巻: - ページ: 1-71
Proceedings on Privacy Enhancing Technologies (PoPETs)
巻: 2 ページ: 5-26
Proc. of the 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton 2019)
巻: - ページ: 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
巻: 11735 ページ: 128-148
10.1007/978-3-030-29959-0_7
Proc. of the 28th USENIX Security Symposium (USENIX Security 2019)
巻: - ページ: 1877-1894
Proc. of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Lecture Notes in Computer Science
巻: 11724 ページ: 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
巻: 11760 ページ: 344-362
10.1007/978-3-030-31175-9_20
Formal Aspects of Computing
巻: 31(2) 号: 2 ページ: 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
巻: 10804 ページ: 134-159
10.1007/978-3-319-89722-6_6
Proc. of the 2018 International Symposium on Information Theory and Its Applications (ISITA 2018)
巻: - ページ: 159-163
10.23919/isita.2018.8664351
Entropy
巻: 20(5:382) 号: 5 ページ: 1-43
10.3390/e20050382
Logical Methods in Computer Science
巻: 13 ページ: 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
巻: 10575 ページ: 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
巻: 10482 ページ: 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
巻: 9995 ページ: 406-425
10.1007/978-3-319-48989-6_25
コンピュータ ソフトウェア
巻: 33 号: 4 ページ: 4_67-4_83
10.11309/jssst.33.4_67
130005290611
Electronic Proceedings in Theoretical Computer Science
巻: 194 ページ: 4862-4862
10.4204/eptcs.194.4