Czea Sie Chuah
Papers
1
Total Citations
5
H-Index
1
About
Dr. Czea Sie Chuah is a rising researcher at the forefront of hardware security and trustworthy computing, with a particular focus on the rapidly expanding RISC-V processor ecosystem. Her most-cited work, "Formal Verification of Security Properties on RISC-V Processors" (2023), addresses a critical gap in the field: as RISC-V processors become ubiquitous in security-sensitive applications—from autonomous vehicles to service robots—the risk of undetected hardware vulnerabilities grows. Dr. Chuah’s major contribution lies in applying formal verification methods to rigorously prove security properties, moving beyond traditional testing to mathematically guarantee the absence of design flaws. This approach is vital for preventing exploits that could compromise entire systems. While her citation count (5) reflects the recency of her work, its impact is already evident in its relevance to industry and academic efforts to harden open-source hardware. Her research is paving the way for more dependable, secure processors in an era where hardware trust is no longer optional but essential.
Research Focus
Key Achievements
Top Papers
- 1Formal Verification of Security Properties on RISC-V Processors5 citations · 2023