615 search results - page 25 / 123 » Frameworks for Securing Limited-Device Applications |
ICC
2009
IEEE
13 years 6 months ago
2009
IEEE
Intrusion Detection and/or Prevention Systems (IDPS) represent an important line of defense against the variety of attacks that can compromise the security and well functioning of...
CRYPTO
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
ACSAC
2001
IEEE
14 years 8 days ago
2001
IEEE
The Java Cryptography Architecture, JCA in short, was created to allow JCA-compliant cryptography providers to be plugged into a JCA-aware application at run time. This configurab...
CHES
2009
Springer
14 years 3 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
EUROMICRO
2004
IEEE
14 years 11 days ago
2004
IEEE
Today, security is recognized as an absolute need in application development. Programming environments offer mechanisms and concepts allowing an easy integration of security mecha...