Provably secure compilation of side-channel countermeasures.

Gilles Barthe, Benjamin Grégoire, Vincent Laporte
[Google Scholar] [DBLP] [Citeseer]

IACR Cryptology ePrint Archive 2017
Pages 38
2017
Note(s): information flow, self-composition