2018 IEEE 3rd International Verification and Security Workshop (IVSW)最新文献

[Title page] (标题页)

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/ivsw.2018.8494890

引用次数: 0

On the Mitigation of Hardware Trojan Attacks in Embedded Processors by Exploiting a Hardware-Based Obfuscator 利用基于硬件的混淆器缓解嵌入式处理器中的硬件木马攻击

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494850

A. Marcelli, E. Sánchez, Luca Sasselli, Giovanni Squillero

引用次数: 3

Property Based Formal Security Verification for Hardware Trojan Detection 基于属性的硬件木马检测形式化安全验证

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494858

Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai

{"title":"Property Based Formal Security Verification for Hardware Trojan Detection","authors":"Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai","doi":"10.1109/IVSW.2018.8494858","DOIUrl":"https://doi.org/10.1109/IVSW.2018.8494858","url":null,"abstract":"The design of modern computer hardware heavily relies on third-party intellectual property (IP) cores, which may contain malicious hardware Trojans that could be exploited by an adversary to leak secret information or take control of the system. Existing hardware Trojan detection methods either require a golden reference design for comparison or extensive functional testing to identify suspicious signals. In this paper, we propose a new formal verification method to verify the security of hardware designs. The proposed solution formalizes fine grained gate level information flow model for proving security properties of hardware designs in the Coq theorem prover environment. Compare with existing register transfer level (RTL) information flow security models, our model only needs to translate a small number of logic primitives to their formal representations without the need of supporting the rich RTL HDL semantics or dealing with complex conditional branch or loop structures. As a result, a gate level information flow model can be created at much lower complexity while achieving significantly higher precision in modeling the security behavior of hardware designs. We use the AES-T1700 benchmark from Trust-HUB to demonstrate the effectiveness of our solution. Experimental results show that our method can detect and pinpoint the Trojan.","PeriodicalId":125301,"journal":{"name":"2018 IEEE 3rd International Verification and Security Workshop (IVSW)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121446903","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Security Analysis of Chaotic Baker Maps 混沌Baker映射的安全性分析

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494880

A. Elhamshary, Y. Ismail, Said Elkhamy

引用次数: 0

Using Physical and Functional Comparisons to Assure 3rd-Party IP for Modern FPGAs 使用物理和功能比较来确保现代fpga的第三方IP

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494874

A. Hastings, Sean Jensen, Jeffrey B. Goeders, B. Hutchings

引用次数: 1

A New Secure Stream Cipher for Scan Chain Encryption 一种新的扫描链加密安全流密码

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494852

M. D. Silva, E. Valea, M. Flottes, Sophie Dupuis, G. D. Natale, B. Rouzeyre

{"title":"A New Secure Stream Cipher for Scan Chain Encryption","authors":"M. D. Silva, E. Valea, M. Flottes, Sophie Dupuis, G. D. Natale, B. Rouzeyre","doi":"10.1109/IVSW.2018.8494852","DOIUrl":"https://doi.org/10.1109/IVSW.2018.8494852","url":null,"abstract":"The accessibility to the internal IP cores of Systems on Chip (SoC) provided by the testing infrastructures is a serious security threat. It has been known for many years that the scan chains can be exploited to retrieve secret keys of crypto-processors. Encryption of the scan chain content is one of the proposed techniques to overtake this threat. Many proposals are based on stream ciphers, due to their moderate area cost compared to that of block ciphers. Stream ciphers encrypt data serially with a keystream generated from an Initialization Vector (IV) and a secret key. Stream ciphers have a crucial limitation concerning the encryption of different data with the same keystream, called two times pad. Not enough caution in the IV and secret key management has been exercised in previous proposed works. In this paper, we show how the existing implementations can be exploited to perform a scan attack bypassing the encryption of the scan data. We also present a new implementation of scan chain encryption with a stream cipher, based on the IV generation by a True Random Number Generator (TRNG). Finally, we show that this new implementation is robust against the aforementioned attack.","PeriodicalId":125301,"journal":{"name":"2018 IEEE 3rd International Verification and Security Workshop (IVSW)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126314852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 13

Architectural Diversity: Bio-Inspired Hardware Security for FPGAs 架构多样性:fpga的仿生硬件安全

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494854

Shakil Mahmud, Brooks Olney, Robert Karam

引用次数: 2

Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis 基于图分析结构解释的密码核逆向工程

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494896

Michael Werner, Bernhard Lippmann, Johanna Baehr, H. Graeb

引用次数: 12

Lightweight PUF-Based Authentication Protocol for IoT Devices 物联网设备基于puf的轻量级认证协议

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/IVSW.2018.8494884

Yıldıran Yılmaz, S. Gunn, Basel Halak

引用次数: 49

Welcome message 欢迎信息

2018 IEEE 3rd International Verification and Security Workshop (IVSW) Pub Date : 2018-07-01 DOI: 10.1109/ivsw.2018.8494872

Shiuh-An Shieh

引用次数: 0