Secure Hardware Devices
|Ac.Year:||2014/2015 (Not opened)|
|Language of Instruction:||Czech|
|Guarantor:||Hanáček Petr, doc. Dr. Ing. (DITS)|
|Lecturer:||Hanáček Petr, doc. Dr. Ing. (DITS)|
|Faculty:||Faculty of Information Technology BUT|
|Department:||Department of Intelligent Systems FIT BUT|
| || ||The course applies knowledge acquired in the courses of Cryptography and Security of Information Systems (although they are not necessary prerequisite) in a particular area. It exends students' proficiency in implementation of secure and cryptographic devices. The goal is to make students search and analyse side-channels (unintended sources of information).|
| || ||The main goal of the introductory part is to overview existing secure hardware devices. This is leading us toward the area of side channels. A statement that implementation of a device without a side channel is infeasible is guiding us through topics of their seriousness and evaluation. The following part is dedicated to two important attacks on side channels: timing and power analyses. Timing analysis is applicable not only on secure devices but also on software implementations of security protocols. The simplest secure devices are smart-cards and we go through their design, electrical properties, communication protocols, and overall security. Power and fault analyses are two other very powerful attacks on smart-cards and we dedicate a couple of lectures to their theoretical descriptions and examples of results obtainable through these techniques. The topic of mitigation of side-channels' capacities and especially TEMPEST follow. The last logical part of the lectures belongs to hardware security modules: evolution, principal applications, definition of API, and attacks on API with demonstrations of common errors.|
|Subject specific learning outcomes and competences:|
| || ||Theoretical and practical proficiency in design of secure information systems based on secure hardware devices. Ability to integrate secure devices (from smart-cards to hardware security modules) and identify weaknesses. Skill in thinking from an attacker's point of view and ability to use it for IS design. Theoretical and practical knowledge of essential attack categories.|
|Generic learning outcomes and competences:|
| || ||Students start looking at information systems from an attacker's point of view. They also learn to identify potentially disasterous parts of information systems.|
|Syllabus of lectures:|
- Introduction to secure hardware devices mentioning evolution, architectures, and applications.
- Side channels - their importance from the viewpoint of implementations, evaluations, and possible classification.
- Timing analysis from its beginning in 1996 till actual implementations and performed attacks including detailed descriptions and definitions of the conditions necessary for its application.
- Smart-cards - a separate lecture covering their design, electrical properties, communication protocols.
- Power and fault analyses represent powerful attacks on side channels available on smart-cards.
- Protection of devices against side channels, various approaches to protection, principles, influence on functionality of the devices.
- TEMPEST - description of the program, principles, evolution, results.
- Hardware security modules (HSM) and their evolution, main applications including examples of deployment and design of protocols based on HSMs.
- Definition of API, attacks on API - part I will follow attacks on basic cryptographic interfaces.
- Definition of API, attacks on API - part II oriented primarily toward banking applications and specialised functions.
- Definition of API, attacks on API - part III will cover asymmetric cryptography and its implementations (e.g. PKCS#11) and known attacks.
- How to design API, demonstration of errors and the course wrapping-up.
|Syllabus - others, projects and individual work of students:|
| ||3 projects solved in singles:
- timing analysis
- fault analysis
- an attack on API
- Menezes, A.J., van Oorschot, P., Vanstone, S.: Handbook of Applied Cryptography, CRC Press Series on Discrete Mathematics and Its Applications, Hardcover, 816 pages, CRC Press, 1997.
- Bond, M. K.: Understanding Security APIs, PhD. thesis, Cambridge 2004.
- Rankl, W., Effing, W.: Smart Card Handbook, John Wiley and Sons, pp. 1120, 3rd edition, 2004.
- Hanacek, P., Staudek, J.: Bezpecnost informacnich systemu, USIS, Praha, 2000, s. 127, ISBN 80-238-5400-3.
- Menezes, A.J., van Oorschot, P., Vanstone, S.: Handbook of Applied Cryptography, CRC Press Series on Discrete Mathematics and Its Applications, Hardcover, 816 pages, CRC Press, 1997, available on http://www.cacr.math.uwaterloo.ca/hac/
- Savard, J. J. G.: A Cryptographic Compendium, 2000, available on WWW.
| || ||Control of the study is performed via mid-term exam, completion of due course projects, and final exam. Evaluation of projects is based on the completeness and correctness of the delivered solutions.|