Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs. In SOSP 2024

Zodiac automatically unearths complex cloud IaC semantic checks/rules that state-of-the-art IaC tools cannot easily capture, allowing us to reduce runtime error violations that can take very long to debug, into simple compile time checks.

August 2024 · Yiming Qiu, Patrick Tser Jern Kon, Ryan Beckett, and Ang Chen

SpotProxy: Rediscovering the Cloud for Censorship Circumvention. In USENIX Security 2024

SpotProxy is a censorship resistance system that uses cost-effective and high-churn cloud instances to maximize the circumvention utility of cloud-hosted proxies.

June 2024 · Patrick Tser Jern Kon, Sina Kamali, Jinyu Pei, Diogo Barradas, Ang Chen, Micah Sherr, and Moti Yung

COMP 536 Secure & Cloud Computing. Rice University.

Fundamentals of cloud computing, as well as emerging security thretas and defenses in today’s cloud systems.

May 2023 · Instructor: Ang Chen