|
| Keyword : formal methods
|
Formal Verification of Labyrinth in Messenger: Reconsidering Security against Abusing Revoked Device
Kakeru WATANABE Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2026/08/01
Vol. E109-A
No. 8 ;
pp. 1367-1381
Type of Manuscript:
PAPER
Category: Cryptography and Information Security
Keyword:
formal methods, Labyrinth, Messenger, storage protocol, | | | Summary | Full Text:PDF | |
| |
|
Formal Verification of Fair Exchange Based on Bitcoin Smart Contracts
Cheng SHI Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2022/03/01
Vol. E105-A
No. 3 ;
pp. 242-267
Type of Manuscript:
Special Section PAPER (Special Section on Cryptography and Information Security)
Category:
Keyword:
formal methods, smart contracts, fairness, ProVerif, | | | Summary | Full Text:PDF | |
| |
| |
| |
|
Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols
Kazuki YONEYAMA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2017/09/01
Vol. E100-A
No. 9 ;
pp. 1794-1803
Type of Manuscript:
Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category:
Keyword:
formal methods, computational soundness, asymmetric bilinear pairing, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|