Detecting Secure Memory Deallocation Violations with CBMC-Reference-Cited by-同舟云学术

Detecting Secure Memory Deallocation Violations with CBMC

Published:2022-05-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 8th ACM on Cyber-Physical System Security Workshop
language:
Short-container-title:

Author:

Prabhu Vinayak S.¹,Singh Mohit¹,Ray Indrajit¹,Ray Indrakshi¹,Ghosh Sudipto¹

Affiliation:

1. Colorado State University, Fort Collins, CO, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3494107.3522779

Reference54 articles.

1. Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . 2009 . Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against out-of-Bounds Errors . In Proceedings of the 18th Conference on USENIX Security Symposium (SSYM'09) . USENIX Association, USA, 51--66. Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against out-of-Bounds Errors. In Proceedings of the 18th Conference on USENIX Security Symposium (SSYM'09). USENIX Association, USA, 51--66.

2. Abdullah Al-Boghdady , Khaled Wassif , and Mohammad El-Ramly . 2021 . The Presence, Trends, and Causes of Security Vulnerabilities in Operating Systems of IoT's Low-End Devices . Sensors , Vol. 21 , 7 (2021). Abdullah Al-Boghdady, Khaled Wassif, and Mohammad El-Ramly. 2021. The Presence, Trends, and Causes of Security Vulnerabilities in Operating Systems of IoT's Low-End Devices. Sensors , Vol. 21, 7 (2021).

3. Abdullah Mujawib Alashjaee , Salahaldeen Duraibi , and Jia Song . 2019 . IoT-Taint: IoT Malware Detection Framework Using Dynamic Taint Analysis. In 2019 International Conference on Computational Science and Computational Intelligence (CSCI) . 1220--1223 . Abdullah Mujawib Alashjaee, Salahaldeen Duraibi, and Jia Song. 2019. IoT-Taint: IoT Malware Detection Framework Using Dynamic Taint Analysis. In 2019 International Conference on Computational Science and Computational Intelligence (CSCI) . 1220--1223.

4. Richard Amankwah , Jinfu Chen , Alfred Adutwum Amponsah , Patrick Kwaku Kudjo , Vivienne Ocran , and Comfort Ofoley Anang . 2020 . Fast Bug Detection Algorithm for Identifying Potential Vulnerabilities in Juliet Test Cases. In 2020 IEEE 8th International Conference on Smart City and Informatization (iSCI). 89--94 . Richard Amankwah, Jinfu Chen, Alfred Adutwum Amponsah, Patrick Kwaku Kudjo, Vivienne Ocran, and Comfort Ofoley Anang. 2020. Fast Bug Detection Algorithm for Identifying Potential Vulnerabilities in Juliet Test Cases. In 2020 IEEE 8th International Conference on Smart City and Informatization (iSCI). 89--94.

5. Ofir Arkin and Josh Anderson. [n. d.]. EtherLeak: Ethernet frame padding information leakage . https://dl.packetstormsecurity.net/advisories/atstake/atstake_etherleak_report.pdf . Ofir Arkin and Josh Anderson. [n. d.]. EtherLeak: Ethernet frame padding information leakage . https://dl.packetstormsecurity.net/advisories/atstake/atstake_etherleak_report.pdf .