|
| Keyword : formal methods
| |
|
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 | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
|
|