Room: 12/520

Tel: (+49) (631) 205-5755

E-Mail: dino.mehmedagic(at)rptu.de

Research:

I am currently exploring options to verify hardware integrity using formal methods. Particularly, the aim is to create a methodology that can discover integrity vulnerabilities at the register-transfer level of a trusted system that contains untrusted IPs. The methodology should also guarantee hardware integrity if no such vulnerabilities are found, and be practical for use on large complex systems.