Paper Info
Title
High Level Model of Control Flow Attacks for Smart Card Functional Security
Abstract
Smart card software has to implement software countermeasures to face attacks. Some of these attacks are physical disruptions of chip components that cause a misbehavior in the code execution. A successful functional attack may reveal a secret or grant an undesired authorization. In this paper, we propose to model fault attacks at source level and then simulate these attacks to find out which ones are harmful. After discussing the effects of physical attacks at assembly level and going back to their consequences at source code level, the paper focuses on control flow attacks. Such attacks are good candidates for the proposed model that can be used to exhaustively test the robustness of the attacked program. On the bzip2 software, the paper's results show that up to 21% of the assembly simulated control flow attacks are covered by the C model with 30 times less test cases.
Year
DOI
Venue
2012
10.1109/ARES.2012.79
ARES
Keywords
Field
DocType
software countermeasures,model fault attack,control flow attacks,c model,smart card software,source level,source code level,assembly level,smart card functional security,high level model,assembly simulated control flow,bzip2 software,smart cards,security,smart card
Computer science,Computer security,Source code,Control flow,Smart card,Robustness (computer science),Chip,Software,Test case,High level model
Conference
Citations 
PageRank 
References 
7
0.54
13
Authors
4
Name
Order
Citations
PageRank
Pascal Berthomé18711.87
Karine Heydemann211613.65
X. Kauffmann-Tourkestansky3111.33
Jean-Francois Lalande4764.86