Automatic Analysis of the Security of XOR-Based Key Management Schemes
No abstract available.
Related papers
- Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling CAV 2020
- MrCrypt: static analysis for secure cloud computations OOPSLA 2013
- Verified security of BLT signature scheme CPP 2020
- Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes PLDI 2024
- Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks OOPSLA 2023
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management TOPLAS 2020
- Bit-Vector Model Counting Using Statistical Estimation TACAS 2018