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
Article: pldiws18fmsforeword-fm000-p doi:
Message from the Chairs
Article: pldiws18fmsforeword-fm001-p doi:
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 Article: pldiws18fmsmain-p1-p doi:10.1145/3219763.3219764

proc time: 0.01