Lucas Deutschmann

RPTU Kaiserslautern-Landau PhD Student in Formal Hardware Verification for Security