Joint Crypto Seminar / Doctoral Speaking Skills Talk - Andrew Park
— 5:30pm
Location:
In Person and Virtual - ET
-
Gates Hillman 7501 and Zoom
Speaker:
ANDREW PARK,
Ph.D. Student, Computer Science Department, Carnegie Mellon University
https://andyp223.github.io/
In this work, we propose a novel framework called PolySys for modeling and designing leakage attacks as constraint-solving algorithms over polynomial systems. PolySys formalizes the design of attacks using invertible encodings, structural and leakage equations, and efficient constraint-solving algorithms including SAT and constraint solvers. It is capable of modeling resolution, known-data, and inference attacks for common leakage patterns.
To demonstrate the practicality of our framework, we implement a PolySys attack engine in Python and apply it to state-of-the-art query recovery, data resolution, and query inference attacks on point and range multi-maps. Our results show that PolySys outperforms all existing attacks under identical assumptions, achieving up to 60× higher recovery rates in some scenarios.
While scalability remains a challenge for larger datasets, PolySys represents a promising step toward a general-purpose framework for designing leakage attacks. We believe future work can further enhance its efficiency to scale to larger and more complex workloads.
The Crypto Seminar is generously sponsored by LayerZero Labs.
This talk is presented in Partial Fulfillment of the CSD Speaking Skills Requirement.
In Person and Zoom Participation. See announcement.
For More Information:
qvd@andrew.cmu.edu