Robert Brotzman

According to our database, Robert Brotzman authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the IEEE Military Communications Conference, 2022

2021

SPX64: A Scratchpad Memory for General-purpose Microprocessors.

Abhishek Singh, Shail Dave, Pantea Zardoshti, Robert Brotzman, Chao Zhang, Xiaochen Guo, Aviral Shrivastava, Gang Tan, Michael F. Spear

ACM Trans. Archit. Code Optim., 2021

SpecSafe: detecting cache side channels in a speculative world.

Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, Gang Tan

Proc. ACM Program. Lang., 2021

Ghost Thread: Effective User-Space Cache Side Channel Protection.

Robert Brotzman, Danfeng Zhang, Mahmut T. Kandemir, Gang Tan

Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs.

Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2019

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.

Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019