Abstract
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
Report on the NSF Workshop on Formal Methods for Security
Related papers
Ranked by semantic similarity — how closely each paper's abstract matches this one (100% = near-identical topic).
- Formal Methods and CyberSecurity (2019)47% match
- Proceedings of the Artificial Intelligence for Cyber Security (AICS) Workshop at AAAI 2022 (2022)46% match
- A Survey of Practical Formal Methods for Security (2021)46% match
- Proceedings of the 2nd International Workshop on Adaptive Cyber Defense (2023)46% match
- Report on 2023 CyberTraining PI Meeting, 26-27 September 2023 (2023)46% match
- Proceedings of the Artificial Intelligence for Cyber Security (AICS) Workshop 2020 (2020)45% match
- A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols (2024)44% match
- S3C2 Summit 2025-03: Industry Secure Supply Chain Summit (2025)44% match