1. Lecture Notes in Computer Science;J Balasch,2015
2. Lecture Notes in Computer Science;J Balasch,2012
3. Lecture Notes in Computer Science;J Balasch,2015
4. Lecture Notes in Computer Science;J Balasch,2015
5. Barthe, G., Belaïd, S., Dupressoir, F., Fouque, P.-A., Grégoire, B.: Compositional verification of higher-order masking: application to a verifying masking compiler. IACR Cryptology ePrint Archive, 506 (2015)