Yonathan Fisseha

According to our database, Yonathan Fisseha authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

2025

Revisiting Clause Vivification.

Florian Pollitt, Mathias Fleury, Armin Biere, Karem A. Sakallah, Marijn Heule, Jiawei Chen, Yonathan Fisseha

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2023

Security Verification of Low-Trust Architectures.

Qinhan Tan, Yonathan Fisseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd M. Austin

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Twine: A Chisel Extension for Component-Level Heterogeneous Design.

Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd M. Austin

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022