A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs (FMS 2018 Formal Methods and Security ) - PLDI 2018

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

Who

Rui Zhang, Cynthia Sturton

Track

When

Mon 18 Jun 2018 15:10 - 15:40 at Discovery C - Afternoon Session I

Rui Zhang

Cynthia Sturton

Session Program

Mon 18 Jun

14:00 - 15:40: FMS 2018 - Afternoon Session I at Discovery C

14:00 - 15:10
Talk

Modular Verification of Deep Specifications of Security-Critical Components

Andrew AppelPrinceton

15:10 - 15:40
Research paper

A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs

Rui Zhang, Cynthia Sturton