Our main motivation is to provide state-of-the-art and standardized crypto solutions for passive RFID technology. To achieve this, it is necessary to design dedicated HW crypto module...

The Secure & Correct Systems group, led by Prof. Roderick Bloem, focuses on the design, implementation, and verification of secure and correct systems. This includes Trusted...