Dr. Tobias Wiersema
Ehemaliger
Ehemaliger
by appointment
33098 Paderborn
Publikationen
Aktuelle Publikationen
Q.A. Ahmed, T. Wiersema, M. Platzner, Journal of Hardware and Systems Security (2024).
L.M. Witschen, T. Wiersema, L.D. Reuter, M. Platzner, in: 2022 59th ACM/IEEE Design Automation Conference (DAC), n.d.
L.M. Witschen, T. Wiersema, M. Artmann, M. Platzner, in: Design, Automation and Test in Europe (DATE), n.d.
T. Wiersema, Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, Paderborn University, Paderborn, 2021.
L.M. Witschen, T. Wiersema, M. Raeisi Nafchi, A. Bockhorn, M. Platzner, in: F. Hannig, S. Derrien, P. Diniz, D. Chillet (Eds.), Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21), Springer Lecture Notes in Computer Science, n.d.
Alle Publikationen anzeigen
Research interests
I am currently working mainly on Proof-Carrying Hardware Services and virtual FPGAs.