ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

IVSW 2018 - International Verification and Security Workshop

Date: 2018-07-02 - 2018-07-04

Deadline:2018-03-11

Venue: Hotel Cap Roig, Platja d’Aro, Catalonia, Spain Spain

Keywords:

Website: http://tima.univ-grenoble-alpes.fr/confe...vsw/ivsw18

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

Last modified: 2017-12-07 13:17:58