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).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item