QUAIL: A Quantitative Security Analyzer for Imperative Code
Abstract elided by the publisher.
Related papers
- Quantitative Analysis of Smart Contracts ESOP 2018
- Not so fast: understanding and mitigating negative impacts of compiler optimizations on code reuse gadget sets OOPSLA 2021
- A study of inline assembly in solidity smart contracts OOPSLA 2022
- SemCluster: clustering of imperative programming assignments based on quantitative semantic features PLDI 2019
- Relational cost analysis POPL 2017
- Modeling and analyzing evaluation cost of CUDA kernels POPL 2021
- Secure Information Flow in a Multi-Threaded Imperative Language POPL 1998
- On the Hardness of Analyzing Quantum Programs Quantitatively ESOP 2024