A master thesis from Aalborg University
Assessing Bit Flip Attacks and Countermeasures
Term
4. term
Education
Publication year
2016
Submitted on
2016-05-31
Pages
64 pages
Abstract
Attacks against smart cards are getting ever more advanced and it is thus important to stay ahead on the security front. Many different countermeasures exist to counter the attacks, but it can be difficult to choose appropriate countermeasures to protect a particular program. The purpose of this report is to address this concern by analysing how bit flips, induced by fault attacks, can affect Java programs. Previous work defining formal semantics and fault models for a small Java Card inspired language, are extended to provide a tool for automatic conversion of Java bytecode to UPPAAL models. We use UPPAAL to verify security properties with respect to formalised fault models.
Keywords
java ; smart card ; uppaal ; fault injection ; modelling ; bit flip
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.