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