Sciweavers

5476 search results - page 161 / 1096
» Resettably Secure Computation
Sort
View
ACL2
2006
ACM
15 years 10 months ago
A robust machine code proof framework for highly secure applications
David S. Hardin, Eric W. Smith, William D. Young
ISSADS
2005
Springer
15 years 10 months ago
Security Challenges of Distributed e-Learning Systems
Roberto Gómez Cárdenas, Erika Mata S...
PDCAT
2005
Springer
15 years 10 months ago
A Scalable Security Architecture for Grid
Quan Zhou, Geng Yang, Jiangang Shen, Chunming Rong
IWAN
2004
Springer
15 years 9 months ago
Secure Service Signaling and Fast Authorization in Programmable Networks
Michael Conrad, Thomas Fuhrmann, Marcus Schöl...
NDSS
2003
IEEE
15 years 9 months ago
SiRiUS: Securing Remote Untrusted Storage
Eu-Jin Goh, Hovav Shacham, Nagendra Modadugu, Dan ...