Concepedia
1
Publications
12
Citations
H-Index
2023
Active since
Affiliations
Massachusetts Institute of Technology(Current)
Joel Kuepper is an author at Massachusetts Institute of Technology.
Publications per year
2023–2023
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Joel Kuepper, Andres Erbsen, Jason Gross et al. · Proceedings of the ACM on Programming Languages · 2023 · 12 citations · Full text
Rows per page
1–1 of 1