CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. - Robert Brotzman; Shen Liu 002; Danfeng Zhang; Gang Tan; Mahmut T. Kandemir (IEEE Symposium on Security and Privacy, 2019)

HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. - Xinyang Ge; Ben Niu 007; Robert Brotzman; Yaohui Chen 001; HyungSeok Han; Patrice Godefroid; Weidong Cui (CCS, 2021)

Ghost Thread: Effective User-Space Cache Side Channel Protection. - Robert Brotzman; Danfeng Zhang; Mahmut T. Kandemir; Gang Tan (CODASPY, 2021)

SpecSafe: detecting cache side channels in a speculative world. - Robert Brotzman; Danfeng Zhang; Mahmut Taylan Kandemir; Gang Tan (Proc. ACM Program. Lang., 2021)

SPX64: A Scratchpad Memory for General-purpose Microprocessors. - Abhishek Singh; Shail Dave; Pantea Zardoshti; Robert Brotzman; Chao Zhang 039; Xiaochen Guo; Aviral Shrivastava; Gang Tan; Michael F. Spear (ACM Trans. Archit. Code Optim., 2021)

C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification. - Maxwell Levatich; Robert Brotzman; Benjamin Flin; Ta Chen; Rajesh Krishnan; Stephen A. Edwards (MILCOM, 2022)