Sciweavers

5476 search results - page 13 / 1096
» Resettably Secure Computation
Sort
View
CCS
2010
ACM
15 years 3 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh