1. J. Baehr, A. Bernardini, G. Sigl, U. Schlichtmann, Machine learning and structural characteristics for reverse engineering, in Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC ’19 (Association for Computing Machinery, New York, 2019), pp. 96–103. https://doi.org/10.1145/3287624.3288740
2. J. Baehr, A. Hepp, M. Brunner, M. Malenko, G. Sigl, Open source hardware design and hardware reverse engineering: a security analysis. EasyChair Preprint no. 8604 (EasyChair, 2022)
3. J. Daemen, V. Rijmen, The Design of Rijndael, vol. 2 (Springer, Berlin, 2002)
4. C. Drake, Python electronic design automation. https://pyeda.readthedocs.io/en/latest/index.html
5. G. Heiser, The seL4 microkernel. An introduction (2021). https://sel4.systems/About/seL4-whitepaper.pdf