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年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Application specific integrated circuits - Formal verification - Integrated circuit design - Malware - Programmable logic controllers

引用

页码：209 / 210

共 50 条

[41] SoC synthesis with automatic hardware software interface generation
Singh, A
Chhabra, A
Gangwar, A
Dwivedi, BK
Balakrishnan, M
Kumar, A
16TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 2003, : 585 - 590
[42] Towards Property Driven Hardware Security
Hu, Wei
Althoff, Alric
Ardeshiricham, Armaiti
Kastner, Ryan
2016 17TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR AND SOC TEST AND VERIFICATION (MTV), 2016, : 51 - 56
[43] Automatic generation of embedded memory wrapper for multiprocessor SoC
Gharsalli, F
Meftali, S
Rousseau, F
Jerraya, AA
39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 596 - 601
[44] On the automatic generation of SoC-based embedded systems
Polpeta, Fauze Valerio
Frohlich, Antonio Augusto
ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 873 - 880
[45] Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution
Tang, Shibo
Wang, Xingxin
Gao, Yifei
Hu, Wei
2022 19TH INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2022, : 207 - 208
[46] Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification
Guo, Xiaolong
Dutta, Raj Gautam
Mishra, Prabhat
Jin, Yier
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2017, 25 (12) : 3390 - 3400
[47] Towards automatic middleware generation
Zalila, Bechir
Pautet, Laurent
Hugues, Jerome
ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 221 - 228
[48] Towards Automatic Generation of Metafeatures
Pinto, Fabio
Soares, Carlos
Mendes-Moreira, Joao
ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, 2016, 9651 : 215 - 226
[49] Towards Property-Based Consistency Verification
Viotti, Paolo
Meiklejohn, Christopher
Vukolic, Marko
PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, 2016,
[50] SOC verification
不详
IEEE DESIGN & TEST OF COMPUTERS, 1999, 16 (03): : 10 - 10

← 1 2 3 4 5 →