Sciweavers

5484 search results - page 10 / 1097
» Almost-Everywhere Secure Computation
Sort
View
CCS
2010
ACM
15 years 3 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh