DMCA

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations ∗

by Michael Backes , Matteo Maffei , Iar Mohammadi
Citations:4 - 3 self