1. Clang: a C Language Family Frontend for LLVM. https://clang.llvm.org Clang: a C Language Family Frontend for LLVM. https://clang.llvm.org
2. S. Bratus N. D. Cunha E. Sparks and S. W. Smith. 2008. TOCTOU Traps and Trusted Computing. In TRUST. 14--32. 10.1007/978-3-540-68979-9_2 S. Bratus N. D. Cunha E. Sparks and S. W. Smith. 2008. TOCTOU Traps and Trusted Computing. In TRUST. 14--32. 10.1007/978-3-540-68979-9_2
3. CBMC - A Tool for Checking ANSI-C Programs;Clarke E.;TACAS,2004
4. A. Cui M. Costello and S. J. Stolfo. 2013. When Firmware Modifications Attack: A Case Study of Embedded Exploitation. In NDSS. A. Cui M. Costello and S. J. Stolfo. 2013. When Firmware Modifications Attack: A Case Study of Embedded Exploitation. In NDSS .
5. D. Große U. Kühne and R. Drechsler. 2006. HW/SW Co-Verification of Embedded Systems using Bounded Model Checking. In GLSVLSI. 43--48. 10.1145/1127908.1127920 D. Große U. Kühne and R. Drechsler. 2006. HW/SW Co-Verification of Embedded Systems using Bounded Model Checking. In GLSVLSI. 43--48. 10.1145/1127908.1127920