User: Guest  Login
Document type:
Technical Report 
Author(s):
Jan Juerjens; Thomas A. Kuhn 
Title:
Practical Security Analysis of C Programs Using Automated Theorem Proving 
Abstract:
Designing and implementing cryptographic protocols is known to be difficult. A lot of research has been devoted to develop formal techniques to analyze designs of cryptographic protocols. Less attention has been paid to the verification of protocol implementations. This is an important challenge since it is non-trivial to securely implement secure designs, because a specification by its nature is more abstract than the corresponding implementation, and the additional information may introduce at...    »
 
Keywords:
Security; Code Analysis; Verification; Automated Theorem Proving; OpenSSH 
Year:
2004 
Year / month:
2004-12-01 00:00:00 
Pages:
26