Incremental Cryptography and Memory Checkers

Marc Fischlin. Incremental Cryptography and Memory Checkers. In EUROCRYPT. pages 293-408, 1997. [doi]