System byggs i allt högre grad av komponenter som förvärvats genom en globalt distribuerad, otillförlitlig leverantörskedja. Bristen på förtroende för dessa komponenter kräver ytterligare validering av komponenterna före användning. Dessutom hårdvarutrojaner blir ett akut problem. I detta dokument presenterar vi en ny formalism och metod för att systematiskt härleda funktionen på hög nivå hos en okänd kretskomponent med tanke på dess nätlista på portnivå. Vi definierar beskrivningen på hög nivå av en krets som en sammankoppling av momentiationer av abstrakta bibliotekskomponenter som kännetecknas av logiska specifikationer. Det föreslagna tillvägagångssättet är baserat på gruv intressant beteendemönster från simulering spår av en port nivå nätlista, och representerar dem som ett mönster diagram. En liknande mönstergraf skapas också för bibliotekskomponenter. Vår metod beräknar först input-output signalkorrespondenser via subgraph isomorfism på mönstergraferna. Den allmänna funktionen hos den okända kretsen bestäms sedan genom att hitta den närmaste matchningen i komponentbiblioteket, med en modell som kontrollerar den okända kretsen mot varje logisk specifikation. Vi visar hur effektivt vårt tillvägagångssätt är när det gäller allmänt tillgängliga kretsar.
I REF formaliserar författarna problemet med omvänd konstruktion beskrivningen av en netlist på hög nivå och presenterar en metod för att matcha en okänd underkrets mot ett bibliotek av abstrakta komponenter.
Reverse engineering circuits using behavioral pattern mining
{'venue': '2012 IEEE International Symposium on Hardware-Oriented Security and Trust', 'journal': '2012 IEEE International Symposium on Hardware-Oriented Security and Trust', 'mag_field_of_study': ['Computer Science']}