Czea Sie Chuah

According to our database, Czea Sie Chuah authored at least 4 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Reusing Assertion Properties as Hardware Checkers: Implementation and their Software and Hardware Recovery.

Czea Sie Chuah, Christian Appold, Tim Leinmüller

Proceedings of the 27th International Symposium on Quality Electronic Design, 2026

Reliable Hardware Trojan Detection for RISC-V Processors using Formal Verification and Automation.

Czea Sie Chuah, Christian Appold, Tim Leinmüller

Proceedings of the 27th International Symposium on Quality Electronic Design, 2026

2024

Trojan Assets and Attack Vectors in Processors.

Czea Sie Chuah, Alexander Hepp, Christian Appold, Tim Leinmüller

Proceedings of the 25th International Symposium on Quality Electronic Design, 2024

2023

Formal Verification of Security Properties on RISC-V Processors.

Czea Sie Chuah, Christian Appold, Tim Leinmüller

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023