8644 search results - page 347 / 1729 » On the Composition of Secure Systems |
184
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
We present an Identity Based Encryption (IBE) system that is fully secure in the standard model and has several advantages over previous such systems
190
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
We developed and evaluated several cryptographic system libraries for Palm OS
302
Voted
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
182
click to vote
SOSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Design of service-oriented applications differs from design of the component-based applications in granularity, abstraction and dynamic environment in which binding between client...
179
click to vote
CRYPTO
2004
Springer
16 years 8 days ago
2004
Springer
Ordinarily, RSA and Rabin ciphertexts and signatures are log N bits, where N is a composite modulus; here, we describe how to “compress” Rabin ciphertexts and signatures (among...