{"department":[{"_id":"78"}],"keyword":["Approximate Computing","Proof-Carrying Hardware","Formal Verification"],"user_id":"477","citation":{"apa":"Jentzsch, F. P. (2018). <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn.","ama":"Jentzsch FP. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn; 2018.","ieee":"F. P. Jentzsch, <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018.","chicago":"Jentzsch, Felix Paul. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018.","bibtex":"@book{Jentzsch_2018, title={Enforcing IP Core Connection Properties with Verifiable Security Monitors}, publisher={Universität Paderborn}, author={Jentzsch, Felix Paul}, year={2018} }","mla":"Jentzsch, Felix Paul. <i>Enforcing IP Core Connection Properties with Verifiable Security Monitors</i>. Universität Paderborn, 2018.","short":"F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018."},"supervisor":[{"first_name":"Tobias","full_name":"Wiersema, Tobias","last_name":"Wiersema","id":"3118"}],"project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"author":[{"first_name":"Felix Paul","full_name":"Jentzsch, Felix Paul","last_name":"Jentzsch"}],"title":"Enforcing IP Core Connection Properties with Verifiable Security Monitors","date_updated":"2022-01-06T06:50:54Z","_id":"1097","status":"public","language":[{"iso":"eng"}],"type":"bachelorsthesis","year":"2018","publisher":"Universität Paderborn","date_created":"2018-01-15T16:48:05Z"}