"CyLab Faculty, Students to Present at ACM CCS 2023"

Carnegie Mellon faculty and students are presenting on various topics at the Association for Computing Machinery Special Interest Group on Security, Audit and Control's (SIGSAC's) Conference on Computer and Communications Security (ACM CCS). The conference brings together information security researchers, practitioners, developers, and users worldwide to discuss novel ideas and findings. One of the presented papers and posters co-authored by CyLab Security and Privacy Institute members is titled "Galápagos: Developing Verified Low-Level Cryptography on Heterogeneous Hardware." This paper discusses Galápagos, an extensible framework aimed at reducing the effort of verifying cryptographic implementations across different Instruction Set Architectures (ISAs). This article continues to discuss the papers and posters co-authored by CyLab Security and Privacy Institute members being presented at ACM CCS 2023.

CyLab reports "CyLab Faculty, Students to Present at ACM CCS 2023"

Submitted by grigby1