12:00-13:30 | Lunch |
13:30-13:50 | Opening |
13:50-14:30 | Industrial Talk - Tomáš Martinec (Institute for Support of Innovative Education, SYSGO): Economically Self-Sufficient Education of Software Development |
14:30-15:30 (2x 30) | Session 1 - Cryptanalysis. Chair: Martin Novotný |
Tomás Přeučil: Surveying the Security of Access Systems in Uppsala and Birmingham | |
David Pokorný: Introduction to Probing Security | |
15:30-16:00 | Coffee break |
16:00-17:30 (3x 30) | Session 2 - Embedded systems. Chair: Jan Schmidt |
Martin Resetarits, Andreas Steininger, and Florian Huemer: Asynchronous IEC 61499 Systems on FPGAs | |
Yegor Boyarchikov and Tomáš Martinec: Processing and Analysis of Accelerometer Data for the Surface State Identification | |
Gabi Shafat, Carmi Shimon and Inbal Dangoor: Artificial Intelligence Enabled Preliminary Diagnosis for COVID-19 | |
17:30-18:00 | Relax time |
18:00-??? | Dinner at the hotel restaurant + live music at bistro Atmosféra |
10:00-10:40 | Industrial Talk - Adam Berlinger (STMicroelectronics, Czech Rep.): Enhancing Connectivity with I3C |
10:40-11:00 | Industrial Talk - Tomáš Trpišovský (IMA s.r.o., Czech Rep.): Risk-Based Access Control System |
11:00-12:00 (2x 30) | Session 3 - Fault injection attacks. Chair: Robert Kvaček |
Dmytro Petryk and Zoya Dyka: Optical Fault Injection Attacks against Different Logic and Memory Cells | |
Jan Bělohoubek, Róbert Lórencz, Martin Holec, František Steiner, Tomáš Pokorný, and Pavel Rous: Flicker Noise Transient Simulation, and Dose Effects Modeling: Work-in-Progress | |
12:00-13:40 | Lunch + hanging posters |
13:40-14:20 | Keynote - Fabian Vargas (IHP - Leibniz Institute for High Performance Microelectronics, Germany): Resilient RISC-V Processor for Aerospace Applications: from On-Chip Sensors to AI-Based Reliability Prediction. Chair: Jan Bělohoubek |
14:20-15:00 | Industrial Talk - Jiří Vlček (STMicroelectronics, Czech Rep.): Is a Matter Future of Smart Homes? |
15:00-16:15 | Poster session + coffee break |
16:15-16:30 | Poster session evaluation |
16:30-??? | Social event – walking tour to Únětice brewery |
10:00-11:00 | Keynote - Vojtěch Mrázek (Brno University of Technology, Faculty of Information Technology, Czech Rep.): Approximate Computing in Neural Networks. Chair: Petr Fišer |
11:00-11:15 | Coffee break |
11:15-12:00 | Industrial Talk - Martin Kopp (CISCO): Comprehensible Multi-Modal Detection of Cyber Threats |
12:00-13:00 (2x 30) | Session 4 - Network security & side-channel attacks. Chair: Vojtěch Miškovský |
Tomáš Beneš, Jaroslav Pešek and Tomáš Čejka: How to Measure High-Speed Network: a Case Study | |
David Pokorný, Petr Socha and Martin Novotný: Equivalent Keys as a Side-Channel Countermeasure for the Rainbow Signature Scheme | |
13:00-13:15 | Closing |
13:15-??? | Lunch |
Bachelor Theses | |||
---|---|---|---|
1. | Ondřej Golasowski | FIT CTU in Prague, Czech Rep. | Nintendo Entertainment System Emulator |
2. | Jan Medek | FIT CTU in Prague, Czech Rep. | Generation of a Neural Network Model to VHDL |
3. | Adam Staes | FIT CTU in Prague, Czech Rep. | Camera Device for Remote Space Monitoring Using ESP32-CAM and SIM800L Modules |
Master Theses | |||
4. | Daniel Gerl | Infineon Technologies AG, Germany | Development of a Formal Verification Methodology for Safety-Critical Designs |
5. | Robert Kunzelmann | Infineon Technologies AG, Technical University of Munich, Germany | Modeling Advanced CPU Pipeline Features for Fast and Accurate Performance Simulation of a RISC-V Microprocessor |
6. | Jan Pešek | FIT CTU in Prague, Czech Rep. | Behavioral Authentication System |
7. | Martin Stahl | FIT CTU in Prague, Czech Rep. | Design of System-On-Chip with RISC-V Processor for USI Graphical Pen Controller |
12:00-13:30 | Lunch |
13:30-13:50 | Opening |
13:50-14:30 | Industrial Talk - Tomáš Martinec (Institute for Support of Innovative Education, SYSGO): Economically Self-Sufficient Education of Software Development |
14:30-15:30 (2x 30) | Session 1 - Cryptanalysis. Chair: Martin Novotný |
Tomás Přeučil: Surveying the Security of Access Systems in Uppsala and Birmingham | |
David Pokorný: Introduction to Probing Security | |
15:30-16:00 | Coffee break |
16:00-17:30 (3x 30) | Session 2 - Embedded systems. Chair: Jan Schmidt |
Martin Resetarits, Andreas Steininger, and Florian Huemer: Asynchronous IEC 61499 Systems on FPGAs | |
Yegor Boyarchikov and Tomáš Martinec: Processing and Analysis of Accelerometer Data for the Surface State Identification | |
Gabi Shafat, Carmi Shimon and Inbal Dangoor: Artificial Intelligence Enabled Preliminary Diagnosis for COVID-19 | |
17:30-18:00 | Relax time |
18:00-??? | Dinner at the hotel restaurant + live music at bistro Atmosféra |
10:00-10:40 | Industrial Talk - Adam Berlinger (STMicroelectronics, Czech Rep.): Enhancing Connectivity with I3C |
10:40-11:00 | Industrial Talk - Tomáš Trpišovský (IMA s.r.o., Czech Rep.): Risk-Based Access Control System |
11:00-12:00 (2x 30) | Session 3 - Fault injection attacks. Chair: Robert Kvaček |
Dmytro Petryk and Zoya Dyka: Optical Fault Injection Attacks against Different Logic and Memory Cells | |
Jan Bělohoubek, Róbert Lórencz, Martin Holec, František Steiner, Tomáš Pokorný, and Pavel Rous: Flicker Noise Transient Simulation, and Dose Effects Modeling: Work-in-Progress | |
12:00-13:40 | Lunch + hanging posters |
13:40-14:20 | Keynote - Fabian Vargas (IHP - Leibniz Institute for High Performance Microelectronics, Germany): Resilient RISC-V Processor for Aerospace Applications: from On-Chip Sensors to AI-Based Reliability Prediction. Chair: Jan Bělohoubek |
14:20-15:00 | Industrial Talk - Jiří Vlček (STMicroelectronics, Czech Rep.): Is a Matter Future of Smart Homes? |
15:00-16:15 | Poster session + coffee break |
16:15-16:30 | Poster session evaluation |
16:30-??? | Social event – walking tour to Únětice brewery |
10:00-11:00 | Keynote - Vojtěch Mrázek (Brno University of Technology, Faculty of Information Technology, Czech Rep.): Approximate Computing in Neural Networks. Chair: Petr Fišer |
11:00-11:15 | Coffee break |
11:15-12:00 | Industrial Talk - Martin Kopp (CISCO): Comprehensible Multi-Modal Detection of Cyber Threats |
12:00-13:00 (2x 30) | Session 4 - Network security & side-channel attacks. Chair: Vojtěch Miškovský |
Tomáš Beneš, Jaroslav Pešek and Tomáš Čejka: How to Measure High-Speed Network: a Case Study | |
David Pokorný, Petr Socha and Martin Novotný: Equivalent Keys as a Side-Channel Countermeasure for the Rainbow Signature Scheme | |
13:00-13:15 | Closing |
13:15-??? | Lunch |
Bachelor Theses | |||
---|---|---|---|
1. | Ondřej Golasowski | FIT CTU in Prague, Czech Rep. | Nintendo Entertainment System Emulator |
2. | Jan Medek | FIT CTU in Prague, Czech Rep. | Generation of a Neural Network Model to VHDL |
3. | Adam Staes | FIT CTU in Prague, Czech Rep. | Camera Device for Remote Space Monitoring Using ESP32-CAM and SIM800L Modules |
Master Theses | |||
4. | Daniel Gerl | Infineon Technologies AG, Germany | Development of a Formal Verification Methodology for Safety-Critical Designs |
5. | Robert Kunzelmann | Infineon Technologies AG, Technical University of Munich, Germany | Modeling Advanced CPU Pipeline Features for Fast and Accurate Performance Simulation of a RISC-V Microprocessor |
6. | Jan Pešek | FIT CTU in Prague, Czech Rep. | Behavioral Authentication System |
7. | Martin Stahl | FIT CTU in Prague, Czech Rep. | Design of System-On-Chip with RISC-V Processor for USI Graphical Pen Controller |