ＤＯ ＣａｎｈＭｉｎｈ  Do Canh Minh

ACM Transactions Software Engineering and Methodology

巻: Just Accepted

International Symposium on Software Fault Prevention, Verification, and Validation

巻: LNCS 15393 ページ: 15-31

10.1007/978-981-96-1621-3_2

PeerJ Computer Science

巻: 10 ページ: e2098-e2098

10.7717/peerj-cs.2098

International Workshop on Rewriting Logic and Its Applications

巻: LNCS 14953 ページ: 84-103

10.1007/978-3-031-65941-6_5

International Conference on Formal Engineering Methods

巻: LNCS 15394 ページ: 353-374

10.1007/978-981-96-0617-7_20

2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)

巻: JAIST Press ページ: 83-92

2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)

巻: JAIST Press ページ: 36-51

2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023)

巻: JAIST Press ページ: 52-66