"Four Papers by CSE Researchers Appearing at CCS 2023"

Researchers from the University of Michigan's Computer Science and Engineering (CSE) division are presenting papers 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 gathers experts and practitioners to share their latest ideas, innovations, and findings. The papers presented at the conference by CSE researchers cover different computer security topics, including testing the security architecture of Apple products for resilience, performing formal verification of low-trust architectures, examining the efficacy of stateful defense models in preventing black box attacks, and more. In one of the papers titled "Security Verification of Low-Trust Architectures," researchers conduct a complete formal verification of the Sequestered Encryption (SE) architecture to demonstrate that the design is secure against direct data disclosures and digital side channels for all possible programs. This article continues to discuss the papers University of Michigan CSE researchers are presenting ACM CCS 2023.

The University of Michigan reports "Four Papers by CSE Researchers Appearing at CCS 2023"

Submitted by grigby1