271 search results - page 20 / 55 » Cryptographic Security for a High-Performance Distributed Fi... |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
HPDC
2007
IEEE
14 years 3 months ago
2007
IEEE
Grid computations require global access to massive data stores. To meet this need, the GridNFS project aims to provide scalable, high-performance, transparent, and secure wide-are...
SOSP
2001
ACM
14 years 5 months ago
2001
ACM
ing Abstraction to Improve Fault Tolerance MIGUEL CASTRO Microsoft Research and RODRIGO RODRIGUES and BARBARA LISKOV MIT Laboratory for Computer Science Software errors are a major...
FM
2006
Springer
14 years 9 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
RTCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
Real-time embedded systems are increasingly being networked. In distributed real-time embedded applications, e.g., electric grid management and command and control applications, i...