Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
23 Publications
- 1 (current)
- 2
- 3
- 4
- 5
2024 | Journal Article | LibreCat-ID: 52686
Ahmed, Qazi Arbab, et al. “Post-Configuration Activation of Hardware Trojans in FPGAs.” Journal of Hardware and Systems Security, Springer Science and Business Media LLC, 2024, doi:10.1007/s41635-024-00147-5.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29945
Witschen, Linus Matthias, et al. “Search Space Characterization for Approximate Logic Synthesis .” 2022 59th ACM/IEEE Design Automation Conference (DAC).
LibreCat
2022 | Conference Paper | LibreCat-ID: 29865
Witschen, Linus Matthias, et al. “MUSCAT: MUS-Based Circuit Approximation Technique.” Design, Automation and Test in Europe (DATE).
LibreCat
2021 | Dissertation | LibreCat-ID: 26746 | 
Wiersema, Tobias. Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn University, 2021.
LibreCat
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 21953
Witschen, Linus Matthias, et al. “Timing Optimization for Virtual FPGA Configurations.” Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21), edited by Frank Hannig et al., Springer Lecture Notes in Computer Science, doi:10.1007/978-3-030-79025-7_4.
LibreCat
| DOI
- 1 (current)
- 2
- 3
- 4
- 5