McCamant, Stephen

1. Bit-Vector Model Counting using Statistical Estimation
   2017/12/21 by Seonmo Kim, Kim, Seonmo, Stephen McCamant +1 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Privacy-Preserving Technologies in Data
2. New Attacks and Defenses for Randomized Caches
   2019/09/26 by Ramkrishnan, Kartik, Zhai, Antonia, McCamant, Stephen +1 · 1 voice
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR)