• Sign in
  • Sign up
conf.researchr.org / Owen Conoly
  • ICSE 2023 profile
  • PLDI 2023 profile
  • PLDI 2025 profile
No Photo

Registered user since Fri 25 Apr 2025

Name:Owen Conoly
Country:United States
Affiliation:Massachusetts Institute of Technology

Contributions

2025

PLDI

  • Author of Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers within the PLDI Research Papers-track

2023

PLDI

  • Author of CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives within the PLDI Research Papers-track

ICSE

  • Author of CryptOpt: Automatic Optimization of Straightline Code within the DEMO - Demonstrations-track
Share
xMon 19 May 23:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up