Self composition

[Google Scholar]

Notes: information flow

todo

A technique for reasoning about information flow often used in the cryptography verification community.


Information flow