Building/Room: 12-526

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

Fax: (+49) (631) 205-4782

Email

GitHub: https://github.com/Schmitz48

Courses:

• Verification of Digital Systems Class Project (VDSCP)

Research:

I am researching in the field of hardware security with a focus on transient execution side channels. Currently, I am exploring efficient mitigation schemes for transient execution side channels.
Previous research covered formal verification for low-level constant time software.

Publications:

P. Schmitz, J. Mueller, C. Bartsch, D. Stoffel and W. Kunz, "UPEC-PN: Exhaustive constant time verification of low-level software using property checking," MBMV 2023; 26th Workshop, Freiburg, 2023, pp. 1-8.