RPTU University Library

Send mail to Author

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

Please indicate your contact information and select, which author you want to contact.



 
  _____     ______    ____      ______  __    __     ___    
 /  ___||  /_   _//  |  _ \\   /_   _// \ \\ / //   / _ \\  
| // __     -| ||-   | |_| ||   -| ||-   \ \/ //   / //\ \\ 
| \\_\ ||   _| ||_   | .  //    _| ||_    \  //   |  ___  ||
 \____//   /_____//  |_|\_\\   /_____//    \//    |_||  |_||
  `---`    `-----`   `-` --`   `-----`      `     `-`   `-`
 


Back to frontdoor view