• Sign in
  • Sign up
conf.researchr.org / Shale Xiong
  • SPLASH 2020 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile
Shale Xiong

Registered user since Wed 15 Apr 2020

Name:Shale Xiong
Country:United Kingdom
Affiliation:ARM
Personal website: http://www.shalexiong.com

Contributions

2024

Static Analysis Symposium

  • Keynote Speaker of Verifying components of ArmĀ® Confidential Computing Architecture with ESBMC (NEAT paper) within the SAS 2024-track

2023

SPLASH

  • Author of A Verification Methodology for the ArmĀ® Confidential Computing Architecture: From a Secure Specification to Safe Implementations within the OOPSLA-track

2020

ECOOP

  • Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track
Share
xMon 16 Jun 02:51
using conf.researchr.org (v1.69.0)
Support page
Sign Up