253 search results - page 35 / 51 » Security Analysis using Flow Logics |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents FPGA implementations of the DES and Triple-DES with improved security against power analysis attacks. The proposed designs use Boolean masking, a previously in...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
VMCAI
2005
Springer
14 years 25 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...