PLDI 2018 (series) / FMS 2018 (series) / Formal Methods and Security /
A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs
Mon 18 Jun 2018 15:10 - 15:40 at Discovery C - Afternoon Session I
Mon 18 Jun
14:00 - 15:10 Talk | Andrew AppelPrinceton | |||||||||||||||||||||||||||||||||||||||||
15:10 - 15:40 Research paper |