On the 22th of October, 2021 Tobias Wiersema, a member of our working group, defended his dissertation on “Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware” . With his work, which was evaluated with distinction, Tobias has been the first to extend the scope of Proof-Carrying Hardware to non-functional hardware properties and to demonstrate the concept on real FPGA devices. We would like to congratulate him on graduating and wish him all the best for the future.
