SMT-Boosted Security Types and Correctness for Low-Level MPC
An SMT-backed type system and Hoare logic check correctness and security of low-level MPC protocols.
Stories per day · 30 days
1 stories, newest first · one card per story
1 stories, newest first · one card per story
An SMT-backed type system and Hoare logic check correctness and security of low-level MPC protocols.
Today 1.2K readers · 1.8K views · 1.4K reads · all time 160K views