Sciweavers

3299 search results - page 50 / 660
» Privacy and Trusted Computing
Sort
View
CCS
2010
ACM
15 years 3 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh