[rwth-security] Theoretical vs. practical cryptography in the kernel