Login / Signup

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

Michael BackesMatteo MaffeiEsfandiar Mohammadi
Published in: FSTTCS (2010)
Keyphrases
  • secure multi party
  • hardware designs
  • model checking
  • multi party
  • bounded model checking
  • high level
  • formal verification
  • data mining
  • pairwise
  • software engineering
  • signature verification