Author:
Tan Jiaqi,Tay Hui Jun,Gandhi Rajeev,Narasimhan Priya
Publisher
Springer International Publishing
Reference27 articles.
1. The ARM-THUMB Procedure Call Standard (2000).
http://infocenter.arm.com/help/topic/com.arm.doc.espc0002/ATPCS.pdf
2. ARM Architecture Reference Manual, ARMv7-A and ARMv7-R edition (2014)
3. Abadi, M., Budiu, M., Erlingsson, U., Ligatti, J.: Control-flow Integrity. In: ACM CCS (2005)
4. Blackham, B., Heiser, G.: Sequel: a framework for model checking binaries. In: IEEE RTAS (2013)
5. Chipounov, V., Candea, G.: Enabling sophisticated analyses of x86 binaries with RevGen. In: HotDep (2011)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally verified lifting of C-compiled x86-64 binaries;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. Hoare-Style Logic for Unstructured Programs;Software Engineering and Formal Methods;2020
3. Highly Automated Formal Proofs over Memory Usage of Assembly Code;Tools and Algorithms for the Construction and Analysis of Systems;2020
4. PCFIRE;Proceedings of the 13th International Conference on Embedded Software;2016-10
5. A Proof Infrastructure for Binary Programs;Lecture Notes in Computer Science;2016