Florian Lugou, Ludovic Apvrille, Aurélien Francillon. SMASHUP: a toolchain for unified verification of hardware/software co-designs. J. Cryptographic Engineering, 7(1):63-74, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.