Towards Automatic Property Generation for SoC Security Verification

被引：0
|
作者：
Wang, Xingxin [1 ]
Tang, Shibo [1 ]
Hu, Wei [1 ]
机构：
[1] School of Cybersecurity, Northwestern Polytechnical University, Xi'an,710072, China
来源：
Proceedings - International SoC Design Conference 2022, ISOCC 2022 | 2022年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Application specific integrated circuits - Formal verification - Integrated circuit design - Malware - Programmable logic controllers
引用
收藏
页码：209 / 210
相关论文
共 50 条
  • [1] Towards Automatic Property Generation for SoC Security Verification
    Wang, Xingxin
    Tang, Shibo
    Hu, Wei
    2022 19TH INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2022, : 209 - 210
  • [2] LASP: LLM Assisted Security Property Generation for SoC Verification
    Ayalasomayajula, Avinash
    Guo, Rui
    Zhou, Jingbo
    Saha, Sujan Kumar
    Farahmandi, Farintah
    2024 ACM/IEEE 6TH SYMPOSIUM ON MACHINE LEARNING FOR CAD, MLCAD 2024, 2024,
  • [3] LASP: LLM Assisted Security Property Generation for SoC Verification
    Ayalasomayajula, Avinash
    Guo, Rui
    Zhou, Jingbo
    Saha, Sujan Kumar
    Farahmandi, Farimah
    PROCEEDINGS OF THE 2024 ACM/IEEE INTERNATIONAL SYMPOSIUM ON MACHINE LEARNING FOR CAD, MLCAD 2024, 2024,
  • [4] SoC Security Verification using Property Checking
    Farzana, Nusrat
    Rahman, Fahim
    Tehranipoor, Mark
    Farahmandi, Farimah
    2019 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2019,
  • [5] Advanced verification by automatic property generation
    Rogin, F.
    Klotz, T.
    Fey, G.
    Drechsler, R.
    Ruelke, S.
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2009, 3 (04): : 338 - 353
  • [6] Automatic Asset Identification for Assertion-Based SoC Security Verification
    Ayalasomayajula, Avinash
    Dipu, Nusrat Farzana
    Tehranipoor, Mark M.
    Farahmandi, Farimah
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (10) : 3264 - 3277
  • [7] Automatic Property Generation for the Formal Verification of Bus Bridges
    Soeken, Mathias
    Kuehne, Ulrich
    Freibothe, Martin
    Fey, Goerschwin
    Drechsler, Rolf
    2011 IEEE 14TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2011, : 417 - 422
  • [8] AnBx: Automatic generation and verification of security protocols implementations
    School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom
    Lect. Notes Comput. Sci., (156-173):
  • [9] AGVI - Automatic generation, verification, and implementation of security protocols
    Song, D
    Perrig, A
    Phan, D
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 241 - 245
  • [10] AnBx: Automatic Generation and Verification of Security Protocols Implementations
    Modesti, Paolo
    FOUNDATIONS AND PRACTICE OF SECURITY (FPS 2015), 2016, 9482 : 156 - 173
12345