- oo7: Low-overhead Defense against Spectre Attacks via Program Analysis
2018/07/16 by Guanhua Wang, Wang, Guanhua, Sudipta Chattopadhyay +7 · 1 voice · 5 citations
Computer Science · Engineering · #Branch predictor #Cache #Code (set theory) #Compiler #Computer science #Computer security #Control flow #Cryptography #Key (lock) #Operating system #Overhead (engineering) #Parallel Computing and Optimization Techniques #Programming language #Radiation Effects in Electronics #Security and Verification in Computing #Side channel attack #Software #Speculative execution #Static analysis #Taint checking #Vulnerability (computing) #cs.CR
- Code Obfuscation against Static and Dynamic Reverse Engineering
2011/01/01 by Sebastian Schrittwieser, Stefan Katzenbeisser · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Code (set theory) #Computer science #Computer security #Control flow graph #Cryptography #Data flow diagram #Data-flow analysis #Database #Digital and Cyber Forensics #Distributed computing #Obfuscation #Programming language #Reverse engineering #Software #Software Engineering Research #Software development #Software engineering #Source code #Static analysis #Static program analysis #Symbolic execution #Taint checking #Theoretical computer science