Peer-Reviewed Publications
- Control Flow and Pointer Integrity Enforcement in a Secure Tagged Architecture RaviTheja Gollapudi, Gokturk Yuksek, David Demicco, Matthew Cole, Gaurav Kothari, Rohit Kulkarni, Xin Zhang, Kanad Ghose, Aravind Prakash and Zerksis Umrigar. In Proceedings of the 44th IEEE Symposium on Security and Privacy (S&P’23), San Francisco, USA, May 2023.
Paper
- A Security Analysis of Labeling-Based Control-Flow Integrity Schemes David Demicco, Matthew Cole, Shengdun Wang and Aravind Prakash. In Workshop on Data Fabric for Hybrid Clouds, collocated with 29th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPCW-WDFHC’22), Bengaluru, India, December 2022.
Paper | Slides
- Simplex: Repurposing Intel Memory Protection Extensions for Information Hiding Matthew Cole and Aravind Prakash. In Reiser, H.P., Kyas, M. (eds) Secure IT Systems. NordSec 2022. Lecture Notes in Computer Science, vol 13700. Springer, Cham. 27th Nordic Conference on Secure IT Systems (NordSec’22), Reykjavik, Iceland, December 2022.
Paper | Slides | Artifact
- Supplementing Modern Software Defenses with Stack-Pointer Sanity Anh Quach, Matthew Cole and Aravind Prakash. Proceedings of the 33rd Annual Computer Security Applications Conference (ACSAC’17), Orlando, Florida, December 2017.
Paper | Artifact
Other Publications
- Generic Tagging for RISC-V Binaries David Demicco, Matthew Cole, Gokturk Yuksek, Ravi Theja Gollapudi, Aravind Prakash, Kanad Ghose and Zerksis Umrigar. In ArXiv cs.CR, December 2023.