FI:PA192 Secure Hardware-based Design - Informace o předmětu
PA192 Secure Hardware-based System Design
Fakulta informatikypodzim 2026
- Rozsah
- 2/2/2. 5 kr. (plus ukončení). Ukončení: zk.
Vyučováno kontaktně - Vyučující
- prof. Ing. Václav Přenosil, CSc. (přednášející)
Ing. Jan Král, Ph.D. (přednášející)
Lukasz Michal Chmielewski, PhD (přednášející)
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)
Mgr. Ondřej Bleha (cvičící) - Garance
- doc. RNDr. Zdeněk Matěj, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Kontaktní osoba: doc. RNDr. Zdeněk Matěj, Ph.D.
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky - Rozvrh
- Čt 17. 9. až Čt 17. 12. Čt 10:00–11:50 A220
- Rozvrh seminárních/paralelních skupin:
PA192/02: Čt 17. 9. až Čt 17. 12. Čt 14:00–15:50 A415, L. Chmielewski, J. Král, Z. Matěj, V. Přenosil
PA192/03: Pá 18. 9. až Pá 18. 12. Pá 8:00–9:50 A415, L. Chmielewski, J. Král, Z. Matěj, V. Přenosil - Předpoklady
- • Design of digital systems:
- encoding and data representation,
- logic algebra and optimization of the logical terms,
- implementation arithmetical and logical operations into digital systems.
• Architecture of embedded systems:
- operational memory addressing methods,
- digital communication interfaces,
- input / output devices.
• Digital systems dependability:
- basics of probability theory and statistics. - Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- předmět má 33 mateřských oborů, zobrazit
- Anotace
- The course is focused on architectures of secure digital systems, to ensure reliability, dependability, and security of digital systems, assess and learn how to design safe and reliable digital systems. The course will present common problems and design of secure digital systems on real-world examples.
- Výstupy z učení
- Upon completion of this course, students will have a comprehensive understanding of the architecture of secure digital systems. Through the integrated research and project based learning methods, students will also gain hands-on experience in designing and implementing secure hardware solutions. They will develop critical skills in executing real-world security attacks on embedded systems and will be equipped to propose and implement their own solutions for hardware security challenges.
- Klíčová témata
Lectures:- Design of the Digital Systems:
- design elements of digital systems,
- design of the combinational circuits,
- design of the sequential circuits,
- design systems and simulation of the digital systems.
- Architecture of Digital Systems:
overview of microcontrollers, programmable arrays and DSP,
a/d and d/a converters.
- Digital Systems Dependability:
reliability evaluation of the electronics devices,
failures model of the technical systems,
methods and models of the redundancy,
Markov reliability and availability models,
fault tolerant systems
- Digital Systems Testing:
design of test step,
design detection and localization tests,
fault-tolerant systems,
checking methods, boundary scan, JTAG.
- Trusted hardware:
- trusted computing base and trusted elements (TPM, TEE),
- attacks on trusted elements and evaluation of their severity,
- review of a hardware design: debug ports, OTP memory, secure boot.
- Side-channel analysis and fault injection:
- power, timing and electromagnetic side channels,
- simple, differential and correlation power analysis,
- countermeasures: masking and hiding,
- differential fault analysis.
- Wireless communication and its security:
- spectrum regulation, radio services and typical bands,
- signal processing basics, software defined radio, modulations,
- replay, relay, jamming and sniffing attacks, and countermeasures.
- Security of modern microcontrollers:
- root of trust, secure boot, tamper detection
- ARM TrustZone: memory isolation, secure and non-secure state.
Laboratory seminars:- Measurement of embedded devices: oscilloscope, logic analyzer, spectrum analyzer.
- Analysis of communication buses UART and SPI, reading data from an unprotected bus.
- Side-channel attack on an electronic safe lock: timing and power consumption analysis.
- Side-channel analysis with ChipWhisperer: simple, differential and correlation power analysis.
- Debug interfaces JTAG and SWD, memory dump of a running system.
- Bluetooth scanning, software defined radio, analysis of the radio spectrum.
- Remotely controlled wireless socket: reverse engineering of the protocol and replay attack.
- Security of modern microcontrollers: practical example of configuring trust zones, protecting a stored password.
- Individual projects with defence.
- Design of the Digital Systems:
- Přístupy, postupy a metody používané ve výuce
- The course combines theoretical instruction with laboratory exercises and independent project work. Teaching methods include research and project based learning; students will actively engage in hands-on projects throughout the course. The schedule of projects, focused on real-world hardware security challenges, will be introduced during the first laboratory session. Students are encouraged to bring forward their own innovative ideas and approaches to solving the projects, fostering creativity and independent research in secure hardware design.
- Způsob ověření výstupů z učení a požadavky na ukončení
- - laboratory tasks with the project defense - 35 points,
- evaluated home works or final written exam - 35 credits
- oral exam - 30 points,
Passing boundary for ECTS assessment - 51 credits. - Vyučovací jazyk
- Angličtina
- Odkaz a informace vyučujících
- The course is split into theoretical and practical parts. The practical part will be done on the hardware and design software in the Laboratory of Architecture and design of digital systems. Study material and all technical documentation and manuals are available in English.
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2026/PA192