Yonathan Fisseha

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Policy Enforcement

Trusted Computing

Cryptographic Protocols

Top Venues

Publications

Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
Security Verification of Low-Trust Architectures. CCS (2023)
Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin
Security Verification of Low-Trust Architectures. CoRR (2023)
Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd M. Austin
Twine: A Chisel Extension for Component-Level Heterogeneous Design. DATE (2022)