PESW 2021

PESW 2021

The 9^th Prague Embedded Systems Workshop

July 1-3, 2021
Horoměřice, Czech Republic

PESW 2021

The 9^th Prague Embedded Systems Workshop

July 1-3, 2021
Horoměřice, Czech Republic

PESW Program

Thursday, July 1

12:00-13:30	Lunch
13:30-13:45	Opening
13:45-15:15 (3x 30)	Session 1. Chair: Martin Novotný
	Florian Herbold, Andrea Reindl, Hans Meier, Michael Niemetz and Stefan Krämer: Secure Software Updates: Challenges and Solutions for Embedded IoT Systems
	Michele Benolli, Seyedali Mirheidari, Elham Arshad and Bruno Crispo: Unconscious Check-in: An Empirical Analysis of OAuth CSRF in the Wild
	Jan Bělohoubek, Petr Fišer and Jan Schmidt: Standard Cell Design For Data-Independent Static Power Under Illumination
15:15-15:30	Coffee break
15:30-17:00 (3x 30)	Session 2. Chair: Tomáš Čejka
	Jan Onderka: Fast fixed-point arithmetic in three-valued binary number abstraction
	Sandro Sartoni, Riccardo Cantoro, Patrick Girard, Riccardo Masante, Matteo Sonza Reorda and Arnaud Virazel: Self-Test Libraries Analysis for Pipelined Processors Transition Fault Coverage Improvement
	Dmitrii Vekshin, Karel Hynek and Tomáš Čejka: Brief Summary of Observations and Research on Encrypted DNS
17:00-???	Dinner & bowling

Friday, July 2

10:00-10:30	*Industrial Lecture - Roman Ludin (STMicroelectronics):* Semiconductor innovation supporting industrial trends**
10:30-11:00	*Keynote - Oana Stan:* Privacy Preserving Collaborative Learning** (on-line)
11:00-12:30	Lunch + hanging posters
12:30-14:00	Poster session + coffee break
14:00-15:00	*Keynote - Leonel Sousa:* Modular Arithmetic-based Circuits and Systems for Emerging Technologies and Applications: Deep Neural Networks and Cryptography** (on-line)
15:00-16:00	Poster session + coffee break
16:00-16:30	Poster session evaluation
16:30-???	Social event

Saturday, July 3

10:00-11:00	*Keynote - Tiziano Villa:* Component-Based Design by Solving Language Equations**
11:00-11:15	Coffee break
11:15-12:15 (2x 30)	Session 3. Chair: Piotr Mroź
	Oskar Jędrzejczak, Piotr Mróz and Małgorzata Mazurkiewicz: System of automatic approach control for a tractor unit’s approach to a semi-trailer
	Jiří Khun and Jan Schmidt: Satisfiability Modulo Simulation: What Can It Do?
12:15-12:30	Closing
12:30-???	Lunch

List of student posters (alphabetically) pdf

Bachelor theses

1.	Lukáš Hejcman	Fingerprinting and Identification of TLS Connections
2.	Andrej Lukacovic	Classification of network traffic transmitted using QUIC protocol
3.	Martin Stahl	Personal GPS locator built using Arduino platform and controlled by SMS commands
4.	Michal Žůrek	Smart Monitoring System
13.	Jakub Zahradník	Smart Mirror Prototype

Master theses

5.	Francesco Angione	A novel System Level Test approach targeting System-on-Chip Interconnections to Memories
6.	Petr Heřmánek	Device for Wi-Fi Security Testing
7.	Giorgio Insinga	An Effective and Efficient Method for Collecting Diagnostic Information during FLASH Memory Testing
8.	Zuzana Jiránková	Hardware tool for precise targeting of the camera view in the room
9.	Petr Kolář	Autonomous Car Model Control
10.	Libor Kuchař	Datalogger for ionizing radiation spectrum measuring equipment
11.	David Pokorný	Side-channel analysis of post-quantum digital signature Rainbow
12.	Kryštof Vaněk	Modular multi-channel capacitive soil moisture measurement system

PESW Program

Thursday, July 1

12:00-13:30	Lunch
13:30-13:45	Opening
13:45-15:15 (3x 30)	Session 1. Chair: Martin Novotný
	Florian Herbold, Andrea Reindl, Hans Meier, Michael Niemetz and Stefan Krämer: Secure Software Updates: Challenges and Solutions for Embedded IoT Systems
	Michele Benolli, Seyedali Mirheidari, Elham Arshad and Bruno Crispo: Unconscious Check-in: An Empirical Analysis of OAuth CSRF in the Wild
	Jan Bělohoubek, Petr Fišer and Jan Schmidt: Standard Cell Design For Data-Independent Static Power Under Illumination
15:15-15:30	Coffee break
15:30-17:00 (3x 30)	Session 2. Chair: Tomáš Čejka
	Jan Onderka: Fast fixed-point arithmetic in three-valued binary number abstraction
	Sandro Sartoni, Riccardo Cantoro, Patrick Girard, Riccardo Masante, Matteo Sonza Reorda and Arnaud Virazel: Self-Test Libraries Analysis for Pipelined Processors Transition Fault Coverage Improvement
	Dmitrii Vekshin, Karel Hynek and Tomáš Čejka: Brief Summary of Observations and Research on Encrypted DNS
17:00-???	Dinner & bowling

Friday, July 2

10:00-10:30	*Industrial Lecture - Roman Ludin (STMicroelectronics):* Semiconductor innovation supporting industrial trends**
10:30-11:00	*Keynote - Oana Stan:* Privacy Preserving Collaborative Learning** (on-line)
11:00-12:30	Lunch + hanging posters
12:30-14:00	Poster session + coffee break
14:00-15:00	*Keynote - Leonel Sousa:* Modular Arithmetic-based Circuits and Systems for Emerging Technologies and Applications: Deep Neural Networks and Cryptography** (on-line)
15:00-16:00	Poster session + coffee break
16:00-16:30	Poster session evaluation
16:30-???	Social event

Saturday, July 3

10:00-11:00	*Keynote - Tiziano Villa:* Component-Based Design by Solving Language Equations**
11:00-11:15	Coffee break
11:15-12:15 (2x 30)	Session 3. Chair: Piotr Mroź
	Oskar Jędrzejczak, Piotr Mróz and Małgorzata Mazurkiewicz: System of automatic approach control for a tractor unit’s approach to a semi-trailer
	Jiří Khun and Jan Schmidt: Satisfiability Modulo Simulation: What Can It Do?
12:15-12:30	Closing
12:30-???	Lunch

List of student posters (alphabetically) pdf

Bachelor theses

1.	Lukáš Hejcman	Fingerprinting and Identification of TLS Connections
2.	Andrej Lukacovic	Classification of network traffic transmitted using QUIC protocol
3.	Martin Stahl	Personal GPS locator built using Arduino platform and controlled by SMS commands
4.	Michal Žůrek	Smart Monitoring System
13.	Jakub Zahradník	Smart Mirror Prototype

Master theses

5.	Francesco Angione	A novel System Level Test approach targeting System-on-Chip Interconnections to Memories
6.	Petr Heřmánek	Device for Wi-Fi Security Testing
7.	Giorgio Insinga	An Effective and Efficient Method for Collecting Diagnostic Information during FLASH Memory Testing
8.	Zuzana Jiránková	Hardware tool for precise targeting of the camera view in the room
9.	Petr Kolář	Autonomous Car Model Control
10.	Libor Kuchař	Datalogger for ionizing radiation spectrum measuring equipment
11.	David Pokorný	Side-channel analysis of post-quantum digital signature Rainbow
12.	Kryštof Vaněk	Modular multi-channel capacitive soil moisture measurement system