--- res: bibo_abstract: - Reconfigurable systems on chip are increasingly deployed in security and safety critical contexts. When downloading and configuring new hardware functions, we want to make sure that modules adhere to certain security specifications and do not, for example, contain hardware Trojans. As a possible approach to achieving hardware security we propose and demonstrate the concept of proof-carrying hardware, a concept inspired by previous work on proof-carrying code techniques in the software domain. In this paper, we discuss the hardware trust and threat models behind proof-carrying hardware and then present our experimental setup. We detail the employed open-source tool chain for the runtime verification of combinational equivalence and our bitstream format for an abstract FPGA architecture that allows us to experimentally validate the feasibility of our approach.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Stephanie foaf_name: Drzevitzky, Stephanie foaf_surname: Drzevitzky - foaf_Person: foaf_givenName: Marco foaf_name: Platzner, Marco foaf_surname: Platzner foaf_workInfoHomepage: http://www.librecat.org/personId=398 bibo_doi: 10.1109/ReCoSoC.2011.5981499 dct_date: 2011^xs_gYear dct_language: eng dct_title: Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach@ ...