Hamed Nemati

1. Analyzing and Exploiting Branch Mispredictions in Microcode
   2025/01/22 by Nicholas Mosier, Hamed Nemati, Mosier, Nicholas +5 · 3 voices · 1 citation
   Computer Science · #Cryptography and Security (cs.CR) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning and Data Classification #cs.AR #cs.CR
2. Osiris: Automated Discovery of Microarchitectural Side Channels
   2021/06/07 by Daniel Weber, Ahmad Ibrahim, Weber, Daniel +7 · 4 citations
   Computer Science · #Security and Verification in Computing #Physical Unclonable Functions (PUFs) and Hardware Security #Advanced Malware Detection Techniques
3. Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
   2023/09/11 by Nicholas Mosier, Mosier, Nicholas, Hamed Nemati +5 · 5 citations
   Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Physical Unclonable Functions (PUFs) and Hardware Security #Radiation Effects in Electronics #Security and Verification in Computing
4. Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
   2026/07/16 by Elvira Moreno, Tiziano Marinaro, Ryan Williams +4
   #cs.CR