Fachgebiet Entwurf Informationstechnischer Systeme (EIS)

M.Sc. Philipp Schmitz

Building/Room: 12-526

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

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



GitHub: https://github.com/Schmitz48



  • Verification of Digital Systems Class Project (VDSCP)


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.



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.

Zum Seitenanfang