RPTU Universitätsbibliothek

Mail an Autor*in

Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware (Dissertation)

Bitte geben Sie Ihre Kontaktdaten an, und wählen Sie aus, welchen der Autor*innen sie kontaktieren wollen.



 
  ____     __   __   _    _    __   __   _    _    __   __  
 |  _ \\   \ \\/ // | |  | ||  \ \\/ // | \  / ||  \ \\/ // 
 | |_| ||   \ ` //  | |/\| ||   \ ` //  |  \/  ||   \ ` //  
 | .  //     | ||   |  /\  ||    | ||   | .  . ||    | ||   
 |_|\_\\     |_||   |_// \_||    |_||   |_|\/|_||    |_||   
 `-` --`     `-`'   `-`   `-`    `-`'   `-`  `-`     `-`'
 


Zurück zur Frontdoor