Concepedia

Joonwon Choi

JC

4

Publications

218

Citations

4

H-Index

2017

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Joonwon Choi is an author at Massachusetts Institute of Technology specializing in computer engineering, formal verification, and verification.

Top concepts

EngineeringVerificationComputer ScienceFormal VerificationComputer EngineeringFormal MethodsSystem SoftwareProgram AnalysisHardware SecuritySoftware Analysis

Publications per year

2017–2021

4

Publications

4

Kami: a platform for high-level parametric hardware specification and its modular verification

Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman et al. · Proceedings of the ACM on Programming Languages · 2017 · 92 citations · Full text

Hardware Modeling, Engineering, Hardware Verification Language +19

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text

Atop Evercrypt, Cryptographic Primitive, Engineering +19

Integration verification across software and hardware for a simple embedded system

Andres Erbsen, Samuel Gruetter, Joonwon Choi et al. · 2021 · 28 citations · Full text

Engineering, Hardware Verification Language, Hardware-software Integration +26

Crellvm: verified credible compilation for LLVM

Jeehoon Kang, Yoonseung Kim, Youngju Song et al. · 2018 · 23 citations

Software Maintenance, Engineering, Compiler Technology +24

Rows per page

1–4 of 4