Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems
Abstract elided by the publisher.
Related papers
- PSF: A Generic and Extensible Framework for Protocol State Fuzzing CAV 2026
- Safer SDN programming through Arbiter GPCE 2015
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Using formal methods to enable more secure vehicles: DARPA's HACMS program ICFP 2014
- RoleCast: finding missing security checks when you do not know what checks are OOPSLA 2011
- Ethainter: a smart contract security analyzer for composite vulnerabilities PLDI 2020
- Parameterized Verification of Disjunctive Timed Networks VMCAI 2024
- Kindly bent to free us ICFP 2020