IVSW 2018 - International Verification and Security Workshop
Date2018-07-02 - 2018-07-04
Deadline2018-03-11
VenueHotel Cap Roig, Platja d’Aro, Catalonia, Spain
Keywords
Topics/Call fo Papers
Issues related to verification and security are increasingly important in modern electronic systems. In particular, the huge complexity of electronic systems has led to growth in quality, reliability and security needs in several application domains as well as pressure for low cost products. There is a corresponding increasing demand for cost-effective verification techniques and security solutions. These needs have increased dramatically with the increased complexity of complex electronic systems and the fast adoption of these systems in all aspects of our daily lives. The goal of IVSW is to bring industry practitioners and researchers from the fields of security, verification, validation, test, and reliability to exchange innovative ideas and to develop new methodologies for solving the difficult challenges facing us today in various SOC design environments. IVSW 2018 is sponsored by IEEE Council on Electronic Design Automation (CEDA).
The topics of interest include (but are not limited to) the following ones:
Verification challenges of IoT
High-level test generation for functional verification
Emulation techniques and FPGA prototyping
Triage and debug methodologies
Silicon debugging
Low-power verification
Formal techniques and their applications
Verification coverage
Performance validation and characterization
Design for Verifiability (DFV)
Memory and coherency verification
ESL design and Virtual Platforms
Design for security and security validation
CAD metrics and tools for security
Cryptography and trusted computing
Detection of Trojans and counterfeit electronics
Methods for IP protection (obfuscation, encryption, etc.)
Fault-based side-channel attacks & countermeasures
Hardware security primitives design and evaluation
Security for analog/mixed signal (AMS) circuits
Security in automotive, railway, avionics, space, and Internet of Things (IoT)
Data analytics in verification and security
Cross layer security and verification
Security of design environment & tools, and supply chain
The topics of interest include (but are not limited to) the following ones:
Verification challenges of IoT
High-level test generation for functional verification
Emulation techniques and FPGA prototyping
Triage and debug methodologies
Silicon debugging
Low-power verification
Formal techniques and their applications
Verification coverage
Performance validation and characterization
Design for Verifiability (DFV)
Memory and coherency verification
ESL design and Virtual Platforms
Design for security and security validation
CAD metrics and tools for security
Cryptography and trusted computing
Detection of Trojans and counterfeit electronics
Methods for IP protection (obfuscation, encryption, etc.)
Fault-based side-channel attacks & countermeasures
Hardware security primitives design and evaluation
Security for analog/mixed signal (AMS) circuits
Security in automotive, railway, avionics, space, and Internet of Things (IoT)
Data analytics in verification and security
Cross layer security and verification
Security of design environment & tools, and supply chain
Other CFPs
- International Mixed-Signal Testing Workshop
- 3rd IEEE Federative Event on Design for Robustness
- 24th IEEE International Symposium on On-Line Testing and Robust System Design
- 24th International Conference on Electrical Engineering (ICEE 2018)
- Next-Generation Wireless Networks Meet Advanced Machine Learning Applications
Last modified: 2017-12-07 13:17:58