Deutschmann, L., Meza, A., Stoffel, D., Kunz, W., & Kastner, R. (2025). FastPath: A Hybrid Approach for Efficient Hardware Security Verification. DAC: Annual ACM/IEEE Design Automation Conference, 62, 1. https://doi.org/10.1109/DAC63849.2025.11132905
Chicago Style (17th ed.) CitationDeutschmann, Lucas, Andres Meza, Dominik Stoffel, Wolfgang Kunz, and Ryan Kastner. "FastPath: A Hybrid Approach for Efficient Hardware Security Verification." DAC: Annual ACM/IEEE Design Automation Conference 62 (2025): 1. https://doi.org/10.1109/DAC63849.2025.11132905.
MLA (9th ed.) CitationDeutschmann, Lucas, et al. "FastPath: A Hybrid Approach for Efficient Hardware Security Verification." DAC: Annual ACM/IEEE Design Automation Conference, 62, 2025, p. 1, https://doi.org/10.1109/DAC63849.2025.11132905.