PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence
No abstract available.
Related papers
- Closed forms for numerical loops POPL 2019
- Towards a unified proof framework for automated fixpoint reasoning using matching logic OOPSLA 2020
- Automatic Program Instrumentation for Automatic Verification CAV 2023
- Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning CAV 2021
- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures TACAS 2012
- RefinedRust: A Type System for High-Assurance Verification of Rust Programs PLDI 2024
- On-line automated performance diagnosis on thousands of processes PPoPP 2006
- RT-trust: automated refactoring for trusted execution under real-time constraints GPCE 2018