Dino Mehmedagić
Ph.D. student at the Technical University of Kaiserslautern, works with embedded systems under the mentorship of Prof. Dr. Wolfgang Kunz.
Project description: Exploring the use of formal mathematical methods to verify the security of digital hardware
Email: dino.mehmedagic95@gmail.com

