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.24
Publisher's Version
Publisher's Version