• Sign in
  • Sign up
conf.researchr.org / Cody Roux
  • ICSE 2025 profile
  • NASA Formal Methods 2023 profile
No Photo

Not registered as user

Name:Cody Roux
Country:United States
Affiliation:Amazon Web Services

Contributions

2025

ICSE

  • Author of Formally Verified Cloud-Scale Authorization within the Research Track-track

2023

NFM

  • Author of Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation within the NFM 2023-track
Share
xFri 16 May 04:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up