PLDI 2018 Workshops
39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018)
Powered by
Conference Publishing Consulting

2018 ACM SIGPLAN International Workshop on Formal Methods and Security (FMS 2018), June 18, 2018, Philadelphia, PA, USA

FMS 2018 – Proceedings

Contents - Abstracts - Authors

2018 ACM SIGPLAN International Workshop on Formal Methods and Security (FMS 2018)

Title Page
Message from the Chairs
A Recursive Strategy for Symbolic Execution to Find Exploits in Hardware Designs
Rui Zhang and Cynthia Sturton
(University of North Carolina, USA)
Publisher's Version

proc time: 0.97