Implementing a High-Assurance Smart-Card OS

Karger, Paul A.; Toll, David C.; Palmer, Elaine R.; McIntosh, Suzanne; Weber, Scott; Edwards, Jonathan W.

doi:10.1007/978-3-642-14577-3_7

Cited by 3 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Smart cards using chips have very high reliability and safety for practical applications because some security algorithms and biometric features are installed [13][14][15]. Smart card technology with security is applied to digital ID cards (e-passport) as legal proof for different services in many countries [13,[16][17][18].…”

Section: Introductionmentioning

confidence: 99%

Building an Application that reads Secure Information Stored on the Chip of the Citizen Identity Card in Vietnam

Luc

Dao

et al. 2023

Eng. Technol. Appl. Sci. Res.

View full text Add to dashboard Cite

Reading the information on the CIC/passport is very meaningful in serving the life activities of citizens in Vietnam and of foreign citizens visiting Vietnam. This research is based on the operating modes, such as BAC, FACE, and EAC to read the data contained in the chip put on the Citizen Identity Card (CIC) out securely. Specifically, the authors used the BAC mode to perform safe data reading from the CIC’s chip. BAC mode uses 3DES and SHA1 algorithms to encrypt data to ensure security, so when the data are transmitted from the chip they are encrypted and decryption is performed by the application. In this paper, a complete application has been built for reading personal information stored securely on CIC. This application is built based on the BAC reading mode corresponding to CIC in Vietnam and meets the requirements of the ICAO 9303 standard, so it is able to read passports or CICs of other countries that use this standard. The performance of this application when reading data stored on fields DG1, DG2, and DG13 is improved with a speed of about 1.2s - 1.3s for all 3 data fields.

show abstract

Section: Introductionmentioning

confidence: 99%

Building an Application that reads Secure Information Stored on the Chip of the Citizen Identity Card in Vietnam

Luc

Dao

et al. 2023

Eng. Technol. Appl. Sci. Res.

View full text Add to dashboard Cite

show abstract

High Level Model of Control Flow Attacks for Smart Card Functional Security

Berthomé

Heydemann²,

Kauffmann-Tourkestansky³

et al. 2012

2012 Seventh International Conference on Availability, Reliability and Security

View full text Add to dashboard Cite

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.

show abstract