Protocol Design for an Automated Highway System (Abstract)
Abstract elided by the publisher.
Related papers
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Logical Clustering and Learning for Time-Series Data CAV 2017
- Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA 2023
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Automated Synthesis of Secure Platform Mappings CAV 2019
- Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification TACAS 2023
- Automated Synthesis of Interface Adapters for Reusable Classes POPL 1994