Title
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.
Year
Venue
DocType
2022
IACR Cryptology ePrint Archive
Journal
Volume
Citations 
PageRank 
2022
0
0.34
References 
Authors
0
6
Name
Order
Citations
PageRank
Ming-Hsien Tsai121.13
Yu-Fu Fu200.34
Xiaomu Shi300.68
Jiaxiang Liu401.35
Bow-yaw Wang523425.60
Bo-Yin Yang603.38