When developing wireless or wired electronic devices, such as IoT devices, radio controlled devices or sensor networks, special care must be given to security. IoT systems are especially known to be vulnerable to malicious attacks. Our knowledge of deeper levels of cryptography, networking, physical-layer-protocols and our expertise in building wireless systems helps us build, analyze and verify secure hardware devices.