todo
A technique for reasoning about information flow often used in the cryptography verification community.
Notes related to Self composition
Papers related to Self composition
- Verifying constant-time implementations [almeida:security:2016]
- Secure information flow by self composition [barthe:csfw:2004]
- Provably secure compilation of side-channel countermeasures. [barthe:iacr:2007]
- Secure information flow by self-composition [barthe:mscs:2011]
- Binsec/Rel: Efficient relational symbolic execution for constant-time at binary-level [daniel:sandp:2020]
- Product programs in the wild: Retrofitting program verifiers to check information flow security [marco:cav:2021]