Old Web
English
Sign In
Acemap
>
authorDetail
>
Joonwon Choi
Joonwon Choi
Microsoft
Embedded system
Cryptography
Computer science
Cross-platform
Home automation
2
Papers
21
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
2020
S&P | IEEE Symposium on Security and Privacy
Jonathan Protzenko
Bryan Parno
Aymeric Fromherz
Chris Hawblitzel
Marina Polubelova
Karthikeyan Bhargavan
Benjamin Beurdouche
Joonwon Choi
Antoine Delignat Lavaud
Cédric Fournet
Natalia Kulatova
Tahina Ramananandro
Aseem Rastogi
Nikhil Swamy
Christoph M. Wintersteiger
Santiago Zanella Béguelin
Show All
Source
Cite
Save
Citations (0)
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
2019
IACR Cryptology ePrint Archive
Jonathan Protzenko
Bryan Parno
Aymeric Fromherz
Chris Hawblitzel
Marina Polubelova
Karthikeyan Bhargavan
Benjamin Beurdouche
Joonwon Choi
Antoine Delignat-Lavaud
Cédric Fournet
Natalia Kulatova
Tahina Ramananandro
Aseem Rastogi
Nikhil Swamy
Christoph M. Wintersteiger
Santiago Zanella Béguelin
Show All
Source
Cite
Save
Citations (21)
1