14850 search results - page 334 / 2970 » The Security of |
246
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Certificateless cryptography achieves the best of the two worlds: it inherits from identity-based techniques a solution to the certificate management problem in public-key encrypti...
205
click to vote
CRYPTO
2008
Springer
15 years 9 months ago
2008
Springer
We propose a family of compression functions built from fixed-key blockciphers and investigate their collision and preimage security in the ideal-cipher model. The constructions ha...
223
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
178
click to vote
ISSA
2008
15 years 9 months ago
2008
"The state of information security as a whole is a disaster, a train wreck". This view is given by Forte and Power (2007) describing the state of information security to...
209
click to vote
PST
2008
15 years 9 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...