CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. Brotzman, R., Liu, S., Zhang, D., Tan, G., & Kandemir, M. In IEEE Symposium on Security and Privacy (S&P), pages 364–380, 2019.
CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation [pdf]Paper  bibtex   2 downloads  

Downloads: 2