Author:
Cook Byron,Khazem Kareem,Kroening Daniel,Tasiran Serdar,Tautschnig Michael,Tuttle Mark R.
Publisher
Springer International Publishing
Reference56 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2008
2. AFL: American fuzzy lop.
http://lcamtuf.coredump.cx/afl
3. Lecture Notes in Computer Science;A Albarghouthi,2012
4. Arbaugh, W.A., Farber, D.J., Smith, J.M.: A secure and reliable bootstrap architecture. In: 1997 IEEE Symposium on Security and Privacy, 4–7 May 1997, Oakland, CA, USA, pp. 65–71. IEEE Computer Society (1997).
https://doi.org/10.1109/SECPRI.1997.601317
5. Arm Holdings: ARM1136JF-S and ARM1136J-S Technical Reference Manual (2006).
https://developer.arm.com/docs/ddi0211/latest/
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. Formal Specification and Verification of JDK’s Identity Hash Map Implementation;Formal Aspects of Computing;2023-09-13
3. Detecting Secure Memory Deallocation Violations with CBMC;Proceedings of the 8th ACM on Cyber-Physical System Security Workshop;2022-05-30
4. Verifying verified code;Innovations in Systems and Software Engineering;2022-03-30
5. A Billion SMT Queries a Day (Invited Paper);Computer Aided Verification;2022