1. C-FLAT: control-flow attestation for embedded systems software;Abera,2016
2. Methodologies for quantifying (re-)randomization security and timing under JIT-ROP;Ahmed,2020
3. Automatic detection and repair of transition-based leakage in software binaries;Athanasiou,2020
4. Secure compilation of constant-resource programs;Barthe,2021