1. Max Planck Institute for Security and Privacy;HAL - The Hardware Analyzer,2019
2. IEEE Design Automation Standards Committee (DASC);Security Statement Tech rep,2017
3. IEEE Design Automation Standards Committee (DASC);IEEE 1735-2014 - Recommended Practice for Encryption and Management of Electronic Design Intellectual Property (IP),2015