Introduction
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).
Call for paper
Important date
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
All Comments
Important Date
-
Conference Date
Jul 02
2018
toJul 04
2018
-
Feb 21 2018
Abstract Submission Deadline
-
Mar 21 2018
Draft paper submission deadline
-
Apr 04 2018
Draft Paper Acceptance Notification
-
May 21 2018
Final Paper Deadline
-
Jul 04 2018
Registration deadline
Contact Information
- Magdy Abadir
- ma******@gmail.com
Previous Conferences
-
2017-07-03 Greece Thessaloniki
2017 IEEE 2nd International Verification and Security Workshop -
2016-07-04 Spain Catalunya，Spain
2016 1st IEEE International Verification and Security Workshop
Submit Comment