“Was einfach zu verstehen ist, ist auch einfacher maschinell zu beweisen.” - SIC!2025
Formula-V
- F. Farka, C. Abate, S. Kan, und S. Ertel, „Debug, Execute, Verify! Development-Verification Co-Design Made Practical“, in Proceedings of the 13th Workshop on Programming Languages and Operating Systems, Seoul Republic of Korea: ACM, Okt. 2025, S. 51–59. doi: 10.1145/3764860.3768326.
PROTECT
- A. VanHattum, D. Schwartz-Narbonne, N. Chong und A. Sampson, „Verifying dynamic trait objects in rust“, in Proceedings of the 44th International Conference on Software Engineering: Software Engineering in Practice, Pittsburgh Pennsylvania: ACM, Mai 2022, S. 321–330. doi: 10.1145/3510457.3513031.
- C. Ghinami, I.P. Tresolavy, L. Seibt, N. Bosbach und R. Leupers, „Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing“, 2025, arXiv. doi: 10.48550/ARXIV.2509.01318.
- L. Deutschmann, A. Meza, D. Stoffel, W. Kunz und R. K. Rptu, „FastPath: A Hybrid Approach for Efficient Hardware Security Verification“, in 2025 62nd ACM/IEEE Design Automation Conference (DAC), San Francisco, CA, USA: IEEE, Juni 2025, S. 1–7. doi: 10.1109/DAC63849.2025.11132905.
- P. Schmitz, T. Jauch, A. Wezel, M.R. Fadiheh, T. Tiemann, J. Heller, T. Eisenbarth, D. Stoffel und W. Kunz, „Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments“, in Proceedings of the 20th ACM Asia Conference on Computer and Communications Security, Hanoi Vietnam: ACM, Aug. 2025, S. 1203–1218. doi: 10.1145/3708821.3733869.
- C. Ghinami, I.P. Tresolavy, L. Seibt, N. Bosbach und R. Leupers, "Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes", 2026, arXiv. doi: 10.48550/arXiv.2604.19824.
- A. Wezel, J. Müller, L. Deutschmann, T. Jauch, P. Schmitz, A. L. Duque Antón, S. Czernitzki, M.R. Fadiheh, K. Devarajegowda, J. Bormann, D. Stoffel und W. Kunz, "DiamondBlade: Scalable Information Flow Tracking Based on Semantic Path Decomposition", 2026, IEEE International Test Conference (ITC), San Antonio, TX, USA.