Sciweavers

3299 search results - page 50 / 660
» Privacy and Trusted Computing
Sort
View
CCS
2010
ACM
15 years 4 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh
103
Voted
ISI
2008
Springer
15 years 3 months ago
Social Computing: Fundamentals and applications
Fei-Yue Wang