SMT-Boosted Security Types for Low-Level MPC.

Christian Skalka, Joseph P. Near

Browse the full ESOP paper archive.