Owen Conoly
Massachusetts Institute of Technology(US)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Cryptographic Implementations and Security
Most-Cited Works
- → CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives(2023)12 cited
- → CryptOpt: Automatic Optimization of Straightline Code(2023)1 cited
- → Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers(2025)1 cited
- → CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)(2022)