PROLEPSIS: Binary analysis and instrumentation of IoT software for control-flow integrity

被引：0
|
作者：
Forte, Valentina [1 ]
Maunero, Nicolo [1 ]
Prinetto, Paolo [1 ]
Roascio, Gianluca [1 ]
机构：
[1] Cybersecurity National Lab., Politecnico di Torino, Turin, Italy
来源：
International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2021 | 2021年
关键词：
722.3 Data Communication; Equipment and Techniques - 723 Computer Software; Data Handling and Applications - 723.2 Data Processing and Image Processing;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Internet of things
引用
收藏
相关论文
共 50 条
  • [31] SOFTWARE-VALIDATION .1. CONTROL-FLOW AND DATA-FLOW ANALYSIS
    CARRE, BA
    MICROPROCESSORS AND MICROSYSTEMS, 1980, 4 (10) : 395 - 406
  • [32] Demand Control-Flow Analysis
    Germane, Kimball
    McCarthy, Jay
    Adams, Michael D.
    Might, Matthew
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 226 - 246
  • [33] Losing Control: On the Effectiveness of Control-Flow Integrity under Stack Attacks
    Conti, Mauro
    Crane, Stephen
    Davi, Lucas
    Franz, Michael
    Larsen, Per
    Liebchen, Christopher
    Negro, Marco
    Qunaibit, Mohaned
    Sadeghi, Ahmad-Reza
    CCS'15: PROCEEDINGS OF THE 22ND ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2015, : 952 - 963
  • [34] Differentially-Private Control-Flow Node Coverage for Software Usage Analysis
    Zhang, Hailong
    Latif, Sufian
    Bassily, Raef
    Rountev, Atanas
    PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM, 2020, : 1021 - 1038
  • [35] MazeRunner: Evaluating the Attack Surface of Control-Flow Integrity Policies
    Zeng, Dongrui
    Niu, Ben
    Tan, Gang
    2021 IEEE 20TH INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2021), 2021, : 810 - 821
  • [36] SafeController: Efficient and Transparent Control-Flow Integrity for RTL Design
    Islam, Sheikh Ariful
    Katkoori, Srinivas
    2020 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2020), 2020, : 270 - 275
  • [37] HCIC: Hardware-Assisted Control-Flow Integrity Checking
    Zhang, Jiliang
    Qi, Binhang
    Qin, Zheng
    Qu, Gang
    IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (01): : 458 - 471
  • [38] Fine-Grained Control-Flow Integrity Based on Points-to Analysis for CPS
    Qiang, Weizhong
    Wang, Shizhen
    Jin, Hai
    Zhong, Jiangying
    SECURITY AND COMMUNICATION NETWORKS, 2018,
  • [39] Enforcing Unique Code Target Property for Control-Flow Integrity
    Hu, Hong
    Qian, Chenxiong
    Yagemann, Carter
    Chung, Simon Pak Ho
    Harris, William R.
    Kim, Taesoo
    Lee, Wenke
    PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, : 1470 - 1486
  • [40] A Survey on Control-Flow Integrity Means in Web Application Frameworks
    Braun, Bastian
    Pollak, Christian V.
    Posegga, Joachim
    SECURE IT SYSTEMS, NORDSEC 2013, 2013, 8208 : 231 - 246
12345