EasyChair Smart Slide
Symbolic security of garbled circuits
Symbolic security of garbled circuits