Czea Sie Chuah

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Formal Verification

Financial Markets

Symbolic Model Checking

Security Properties

Top Venues

Publications

Czea Sie Chuah, Alexander Hepp, Christian Appold, Tim Leinmüller
Trojan Assets and Attack Vectors in Processors. ISQED (2024)
Czea Sie Chuah, Christian Appold, Tim Leinmüller
Formal Verification of Security Properties on RISC-V Processors. MEMOCODE (2023)