Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Collin Chin
OpenAlex ID:
A5113950864
Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications.
2021
·
Collin Chin
, Howard Wu
, et al.
·
IACR Cryptology ePrint Archive
·
14
Show more works
View as search
Works count:
1
Citation count:
11
H-index:
1
I10-index:
1
Year
Topic
Type
