400 search results - page 8 / 80 » Cryptography and computer security for undergraduates |
TCC
2007
Springer
14 years 1 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
EUROPKI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In many cryptographic applications it is necessary to generate elliptic curves (ECs) with certain security properties. These curves are commonly constructed using the Com...
SAFECOMP
2005
Springer
14 years 1 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
FM
2006
Springer
13 years 11 months 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...