518 search results - page 58 / 104 » Abstract Interpretation-Based Protection |
126
click to vote
CHES
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The silicon industry has lately been focusing on side channel attacks, that is attacks that exploit information that leaks from the physical devices. Although different c...
110
click to vote
EUROCRYPT
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. We introduce Verifiable Signature Sharing (VCS), a cryptographic primitive for protecting digital signatures. VCS enables the holder of a digitally signed document, who m...
124
click to vote
EVOW
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The testing of anomaly detectors is considered from the perspective of a Multi-objective Evolutionary Exploit Generator (EEG). Such a framework provides users of anomaly ...
140
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
125
click to vote
ICWE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web with static content pages that are browsed b...