FRIDAY July 24, 2:00pm - 3:00pm
TOPIC AREA: EDA, SECURITY
KEYWORD: VERIFICATION/VALIDATION, HARDWARE SECURITY
EVENT TYPE: RESEARCH REVIEWED
Trust...but Securely Verify!
Chairs:
Todd Austin - Univ. of Michigan, Ann Arbor, MI
Franco Fummi - Univ. of Verona, Italy
Co-Chair:
Pierluigi Nuzzo - Univ. of Southern California, Los Angeles, CA
This session provides innovative solutions for security-driven system verification at different abstraction levels, from micro-architecture and ISA to firmware and embedded software.

87.1Dynamic Information Flow Tracking for Embedded Binaries Using SystemC-Based Virtual Prototypes
 Speaker: Pascal Pieper - DFKI, Bremen, Germany
 Authors: Pascal Pieper - DFKI, Bremen, Germany
Vladimir Herdt - DFKI, Bremen, Germany
Daniel Grosse - Univ. of Bremen & DFKI, Bremen, Germany
Rolf Drechsler - Univ. of Bremen & DFKI, Bremen, Germany
87.2UEFI Firmware Fuzzing with Simics Virtual Platform
 Speaker: Zhenkun Yang - Intel Corp., Hillsboro, OR
 Authors: Zhenkun Yang - Intel Corp., Hillsboro, OR
Yuriy Viktorov - Intel Corp., Hillsboro, OR
Jin Yang - Intel Corp., Hillsboro, OR
Jiewen Yao - Intel Corp., Shanghai, China
vincent zimmer - Intel Corp., federal way, WA
87.3A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-Of-Order Processors
 Speaker: Mohammad Rahmani Fadiheh - Technische Univ. Kaiserslautern, Germany
 Authors: Mohammad Rahmani Fadiheh - Technische Univ. Kaiserslautern, Germany
Johannes Müller - Technische Univ. Kaiserslautern, Germany
Raik Brinkmann - OneSpin Solutions GmbH, München, Germany
Subhasish Mitra - Stanford Univ., Stanford, CA
Dominik Stoffel - Technische Univ. Kaiserslautern, Germany
Wolfgang Kunz - Technische Univ. Kaiserslautern, Germany
87.4Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side
 Speaker: Vladimir Herdt - DFKI, Bremen, Germany
 Authors: Vladimir Herdt - DFKI, Bremen, Germany
Daniel Grosse - Univ. of Bremen & DFKI, Bremen, Germany
Rolf Drechsler - Univ. of Bremen & DFKI, Bremen, Germany