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 条
  • [31] Towards automatic verification of autonomous systems
    Simmons, R
    Pecheur, C
    Srinivasan, G
    2000 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2000), VOLS 1-3, PROCEEDINGS, 2000, : 1410 - 1415
  • [32] Towards automatic exception safety verification
    Li, Xin
    Hoover, H. James
    Rudnicki, Piotr
    FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 396 - 411
  • [33] Property generation/verification and empirical studies
    Hierons, Robert M.
    Xie, Tao
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2021, 31 (08):
  • [34] SeVe: automatic tool for verification of security protocols
    Anh Tuan Luu
    Sun, Jun
    Liu, Yang
    Dong, Jin Song
    Li, Xiaohong
    Thanh Tho Quan
    FRONTIERS OF COMPUTER SCIENCE, 2012, 6 (01) : 57 - 75
  • [35] Automatic security verification of mobile app configurations
    Costa, Gabriele
    Merlo, Alessio
    Verderame, Luca
    Armando, Alessandro
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 80 : 519 - 536
  • [36] On Automatic Authenticity Verification of Printed Security Documents
    Garain, Utpal
    Halder, Biswajit
    SIXTH INDIAN CONFERENCE ON COMPUTER VISION, GRAPHICS & IMAGE PROCESSING ICVGIP 2008, 2008, : 706 - +
  • [37] SeVe: automatic tool for verification of security protocols
    Anh Tuan Luu
    Jun Sun
    Yang Liu
    Jin Song Dong
    Xiaohong Li
    Thanh Tho Quan
    Frontiers of Computer Science, 2012, 6 : 57 - 75
  • [38] Improving Automatic Verification of Security Protocols with XOR
    Chen, Xihui
    van Deursen, Ton
    Pang, Jun
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 107 - 126
  • [39] Automatic generation of invariants in processor verification
    Su, JX
    Dill, DL
    Barrett, CW
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 377 - 388
  • [40] Automatic Generation of Heterogeneous SoC Architectures With Secure Communications
    Tibaldi, Mattia
    Pilato, Christian
    Ferrandi, Fabrizio
    IEEE EMBEDDED SYSTEMS LETTERS, 2021, 13 (02) : 61 - 64
12345