Nathan Chong - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Wed 13 Jun 2018

Name:Nathan Chong

Country:United States

Affiliation:Amazon Web Services

Personal website: https://nchong.github.io

Research interests:Computer architecture, verification, concurrency

Contributions

2023

SPLASH

A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations

Show activities from other conferences

Using general profile