Author
June Lee
Applied Scientist
Juneyoung Lee is an applied scientist in Amazon’s Automated Reasoning Group. He is working on the s2n-bignum project, which is creating a library of formally verified cryptography primitives written in assembly.