Information Security and Cryptology - ICISC 2005

DOI10.1007/11734727zbMATH Open1185.94061OpenAlexW2493058093MaRDI QIDQ5899288FDOQ5899288

Authors:

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11734727

Recommendations

• Synthesis of masking countermeasures against side channel attacks
• Virtual security evaluation. An operational methodology for side-channel leakage detection at source-code level
• Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software
• Predicting Secret Keys Via Branch Prediction
• \textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (16)

• Formal verification of side-channel countermeasures using self-composition
• Validation of abstract side-channel models for computer architectures
• Graded Hoare logic and its categorical semantics
• Output-sensitive information flow analysis
• Detecting similar code segments through side channel leakage in microcontrollers
• Information-flow control on ARM and POWER multicore processors
• Output-sensitive information flow analysis
• System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory
• Virtual security evaluation. An operational methodology for side-channel leakage detection at source-code level
• Context discovery and commitment attacks. How to break CCM, EAX, SIV, and more
• Is Your Software on Dope?
• Stack-aware hyperproperties
• Certified compilation for cryptography: extended x86 instructions and constant-time verification
• Cryptography and Coding
• Value-dependent information-flow security on weak memory models
• A low-cost memory remapping scheme for address bus protection

This page was built for publication: Information Security and Cryptology - ICISC 2005

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899288)