Cryptographically-Masked Flows
Abstract elided by the publisher.
Related papers
- On the computational soundness of cryptographically masked flows POPL 2008
- Automated Verification of Correctness for Masked Arithmetic Programs CAV 2023
- Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks OOPSLA 2023
- Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks TACAS 2019
- Cryptographically sound implementations for typed information-flow security POPL 2008
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks CAV 2018
- Synthesis of Masking Countermeasures against Side Channel Attacks CAV 2014
- Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs VMCAI 2019