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 条
  • [11] Survey on Control-flow Integrity Techniques
    Zhang Z.
    Xue J.-F.
    Zhang J.-C.
    Chen T.
    Tan Y.-A.
    Li Y.-Z.
    Zhang Q.-X.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (01): : 489 - 508
  • [12] Control-Flow Integrity: Attacks and Protections
    Sayeed, Sarwar
    Marco-Gisbert, Hector
    Ripoll, Ismael
    Birch, Miriam
    APPLIED SCIENCES-BASEL, 2019, 9 (20):
  • [13] POSTER: Control-Flow Integrity for Smartphones
    Davi, Lucas
    Dmitrienko, Alexandra
    Egele, Manuel
    Fischer, Thomas
    Holz, Thorsten
    Hund, Ralf
    Nuernberger, Stefan
    Sadeghi, Ahmad-Reza
    PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 749 - 751
  • [14] Software-only Control-Flow Integrity against Fault Injection Attacks
    Bonnal, Francois
    Dupaquis, Vincent
    Potin, Olivier
    Dutertre, Jean-Max
    2023 26TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, DSD 2023, 2023, : 269 - 277
  • [15] CONFIRM: Evaluating Compatibility and Relevance of Control-flow Integrity Protections for Modern Software
    Xu, Xiaoyang
    Ghaffarinia, Masoud
    Wang, Wenhao
    Hamlen, Kevin W.
    Lin, Zhiqiang
    PROCEEDINGS OF THE 28TH USENIX SECURITY SYMPOSIUM, 2019, : 1805 - 1821
  • [16] FastCFI: Real-time Control-Flow Integrity Using FPGA without Code Instrumentation
    Feng, Lang
    Huang, Jeff
    Hu, Jiang
    Reddy, Abhijith
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2021, 26 (05)
  • [17] SoK: On the Effectiveness of Control-Flow Integrity in Practice
    Becker, Lucas
    Hollick, Matthias
    Classen, Jiska
    PROCEEDINGS OF THE 18TH USENIX WOOT CONFERENCE ON OFFENSIVE TECHNOLOGIES, WOOT 2024, 2024, : 189 - 209
  • [18] Control-flow checking by software signatures
    Oh, N
    Shirvani, PP
    McCluskey, EJ
    IEEE TRANSACTIONS ON RELIABILITY, 2002, 51 (01) : 111 - 122
  • [19] Formally verified software countermeasures for control-flow integrity of smart card C code
    Heydemann, Karine
    Lalande, Jean-Francois
    Berthome, Pascal
    COMPUTERS & SECURITY, 2019, 85 : 202 - 224
  • [20] Control-Flow Integrity Principles, Implementations, and Applications
    Abadi, Martin
    Budiu, Mihai
    Erlingsson, Ulfar
    Ligatti, Jay
    ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2009, 13 (01)
12345