36320 search results - page 677 / 7264 » From Code to Models |
193
click to vote
VMCAI
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
195
click to vote
FSE
2004
Springer
16 years 18 days ago
2004
Springer
A cryptanalysis is given of a MAC proposal presented at CRYPTO 2003 by Cary and Venkatesan. A nice feature of the CaryVenkatesan MAC is that a lower bound on its security can be pr...
230
click to vote
FECS
2006
15 years 8 months ago
2006
In this paper, we discuss the advantages and disadvantages of using network simulators to teach networking concepts versus having students write programs. The authors have experie...
194
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
142
click to vote
TIT
2002
15 years 6 months ago
2002
This paper provides a mathematical analysis of transform compression in its relationship to linear and nonlinear approximation theory. Contrasting linear and nonlinear approximatio...