Michael Werner, Bernhard Lippmann, Johanna Baehr, Helmut Gräb. Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis. In 3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018. pages 13-18, IEEE, 2018. [doi]
Abstract is missing.