FastPath: A Hybrid Approach for Efficient Hardware Security Verification
| Author: | Lucas Deutschmann, Andres Meza, Dominik Stoffel, Wolfgang Kunz, Ryan Kastner |
|---|---|
| URL: | https://ieeexplore.ieee.org/document/11132905 |
| DOI: | https://doi.org/10.1109/DAC63849.2025.11132905 |
| ISBN: | 979-8-3315-0304-8 |
| ISBN: | 979-8-3315-0305-5 |
| Parent Title (English): | 2025 62nd ACM/IEEE Design Automation Conference (DAC) |
| Secondary publication (full text): | https://kastner.ucsd.edu/wp-content/uploads/2025/06/admin/dac25-fastpath.pdf |
| Publisher: | IEEE |
| Place of publication: | Piscataway, NJ |
| Document Type: | Conference Proceeding |
| Language: | English |
| Publication year: | 2025 |
| Year of first Publication: | 2025 |
| Release Date: | 2026/01/20 |
| Page Number: | 7 |
| First Page: | 1 |
| Last Page: | 7 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Elektrotechnik und Informationstechnik / Entwurf Informationstechnischer Systeme |
| Open access state: | Grün Open-Access |
| RPTU: | Kaiserslautern |
| Research funding: | BMBF |
| Sonstige | |
| Created at the RPTU: | Yes |