2 papers
cs.CR2025
An LLVM-Based Optimization Pipeline for SPDZ
Tianye Dai, Hammurabi Mendes, Heuichan Lim
Actively secure arithmetic MPC is now practical for real applications, but performance and usability are still limited by framework-specific compilation stacks, the need for progra…
cs.LO2025
Satisfiability Modulo Theories for Verifying MILP Certificates
Kenan Wood, Runtian Zhou, Haoze Wu +2
Correctness of results from mixed-integer linear programming (MILP) solvers is critical, particularly in the context of applications such as hardware verification, compiler optimiz…