27 search results - page 3 / 6 » Security Analysis of the Strong Diffie-Hellman Problem |
OOPSLA
1998
Springer
13 years 9 months ago
1998
Springer
The rapid evolution of Design Patterns has hampered the benefits gained from using Design Patterns. The increase in the number of Design Patterns makes a common vocabulary unmanag...
ESORICS
2011
Springer
12 years 5 months ago
2011
Springer
Program authorship attribution—identifying a programmer based on stylistic characteristics of code—has practical implications for detecting software theft, digital forensics, a...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
COMPSAC
2009
IEEE
14 years 8 days ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
DEBU
2007
13 years 5 months ago
2007
Secure chips, e.g. present in smart cards, TPM, USB dongles are now ubiquitous in applications with strong security requirements. Secure chips host personal data that must be care...