von Gleissenthall, Klaus

1. Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
   2023/05/11 by Zilong Wang, Wang, Zilong, Gideon Mohr +7 · 4 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing