Computationally Sound Abstraction and Verification of Secure Multi-Party Computations

Backes, Michael and Maffei, Matteo and Mohammadi, Esfandiar
(2010) Computationally Sound Abstraction and Verification of Secure Multi-Party Computations.
In: Proceedings of the 30th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item