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]
@article{LugouAF17, title = {SMASHUP: a toolchain for unified verification of hardware/software co-designs}, author = {Florian Lugou and Ludovic Apvrille and Aurélien Francillon}, year = {2017}, doi = {10.1007/s13389-016-0145-2}, url = {http://dx.doi.org/10.1007/s13389-016-0145-2}, researchr = {https://researchr.org/publication/LugouAF17}, cites = {0}, citedby = {0}, journal = {J. Cryptographic Engineering}, volume = {7}, number = {1}, pages = {63-74}, }