@bookWiersema_2021, place=Paderborn, title=Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware, publisher=Paderborn University, author=Wiersema, Tobias, year=2021 
LibreCat: /record/26746

@articleWitschen_Wiersema_Platzner_2020, title=Proof-carrying Approximate Circuits, volume=28, DOI=10.1109/TVLSI.2020.3008061, number=9, journal=IEEE Transactions On Very Large Scale Integration Systems, publisher=IEEE, author=Witschen, Linus Matthias and Wiersema, Tobias and Platzner, Marco, year=2020, pages=2084–2088 
LibreCat: /record/17358
DOI: 10.1109/TVLSI.2020.3008061

@bookJentzsch_2018, title=Enforcing IP Core Connection Properties with Verifiable Security Monitors, publisher=Universität Paderborn, author=Jentzsch, Felix Paul, year=2018 
LibreCat: /record/1097