Robert Brotzman

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Symbolic Execution

Garbage Collection

Sensory Systems

Memory Footprint

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Maxwell Levatich, Robert Brotzman, Benjamin Flin, Ta Chen, Rajesh Krishnan, Stephen A. Edwards
C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification. MILCOM (2022)
Abhishek Singh, Shail Dave, Pantea Zardoshti, Robert Brotzman, Chao Zhang, Xiaochen Guo, Aviral Shrivastava, Gang Tan, Michael F. Spear
SPX64: A Scratchpad Memory for General-purpose Microprocessors. ACM Trans. Archit. Code Optim. 18 (1) (2021)
Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. CCS (2021)
Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, Gang Tan
SpecSafe: detecting cache side channels in a speculative world. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Robert Brotzman, Danfeng Zhang, Mahmut T. Kandemir, Gang Tan
Ghost Thread: Effective User-Space Cache Side Channel Protection. CODASPY (2021)
Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir
CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. IEEE Symposium on Security and Privacy (2019)