Digital Design & Dependability Research Group

People

Head

Members

Name & webpge	Research areas	E-mail
Ing. Miloš Bečvář	CPU architecture, digital design	milos.becvar@centrum.cz
Ing. Pavel Benáček, Ph.D.	Network devices	pavel.benacek@gmail.com
Ing. Jan Bělohoubek, Ph.D.	Physical security, EDA systems	belohja4@fit.cvut.cz
Ing. Jaroslav Borecký, Ph.D.	Self testing circuits based on FPGA	borecjar@fit.cvut.cz
Ing. Tomáš Čejka, Ph.D.	Computer networks: traffic monitoring, security, anomalies detection	cejkato2@fit.cvut.cz
Ing. Martin Daňhel, Ph.D.	Prediction and analysis of mission critical systems dependability	danhema1@fit.cvut.cz
Ing. Radek Dobiáš, Ph.D.	Fault-tolerant design in FPGA Railway sefety devices with programable HW	radek@radekdobias.cz
doc. Ing. Jiří Douša, CSc.	Logic design, simulation	dousa@fit.cvut.cz
doc. Ing. Petr Fišer, Ph.D.	Synchronous & asynchronous logic design Two-level minimization, multi-level logic synthesis Diagnostics, BIST, on-line testing Logic synthesis benchmarks	fiserp@fit.cvut.cz
Ing. Robert Hülle, Ph.D.	BIST, SAT-based ATPG	hullerob@fit.cvut.cz
doc. Ing. Kateřina Hyniová, CSc.	Control systems	Katerina.Hyniova@fit.cvut.cz
Ing. Pavel Kubalík, Ph.D.	Self testing circuits based on FPGA High-speed wireless networks	xkubalik@fit.cvut.cz
Ing. Martin Kohlík, Ph.D.	Formal dependability models	kohlimar@fit.cvut.cz
prof. Ing. Hana Kubátová, CSc.	Formal methods (Petri nets) in modelling, simulation and hardware design Automata theory Digital systems design Dependable design	kubatova@fit.cvut.cz
Ing. Vojtěch Miškovský, Ph.D.	Side-channel attacks	miskovoj@fit.cvut.cz
Dr.-Ing. Martin Novotný	Digital design Arithmetics Cryptography Embedded systems	novotnym@fit.cvut.cz
doc. Ing. Alois Pluháček, CSc.	Digital arithmetic, error correcting coding	pluhacek@fit.cvut.cz
doc. Dipl.-Ing. Dr. techn. Stefan Ratschan	Formal verification Hybrid (continuous/discrete) systems	stefan.ratschan@cs.cas.cz
doc. Ing. Jan Schmidt, Ph.D.	Implicit methods, test generation Logic synthesis Finite-field arithmetics EDA systems	schmidt@fit.cvut.cz
Ing. Miroslav Skrbek, Ph.D.	Control systems, robotics	skrbek@fit.cvut.cz
Ing. Petr Socha, Ph.D.	Side-Channel Security	sochapet@fit.cvut.cz
Dr. Ing. Sven Ubik	Hardware acceleration of video transmissions	ubik@cesnet.cz
Ing. Tomáš Vaňát, Ph.D.	Practical experiments with fault injection into programable HW	vanattom@fit.cvut.cz

Ph.D. Students

Name & webpge	Research areas	E-mail	Supervisor
Ing. Tomáš Balihar	Formal methods in dependable and secure systems design	balihto1@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Vojtěch Miškovský, Ph.D.
Ing. Tomáš Beneš	Network flow monitoring	benesto3@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Tomáš Čejka, Ph.D.
Ing. Matěj Havránek	Utilizing artificial intelligence in malware analysis	havrama5@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Mgr. Peter Kálnai, Ph.D.
Ing. Matej Hulák	High-speed network traffic classification to detect security threats	hulakmat@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Karel Hynek	Network flow analysis	hynekkar@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Tomáš Čejka, Ph.D.
Ing. Stanislav Jeřábek	FT & AR design in FPGA	jerabst1@fit.cvut.cz	doc. Ing. Jan Schmidt, Ph.D. Dr.-Ing. Martin Novotný
Ing. Jiří Khun	High-performance computing	khunjiri@fit.cvut.cz	doc. Ing. Jan Schmidt, Ph.D. Dr.-Ing. Martin Novotný
Ing. Tomáš Kolárik	Boolean Satisfiability Modulo Differential Equations	kolarto5@fit.cvut.cz	doc. Dipl.-Ing. Dr. techn. Stefan Ratschan
Ing. Martin Košťál		kostama7@fit.cvut.cz	Ing. Miroslav Skrbek, Ph.D.
Ing. Josef Koumar	Detection of security threats in high-speed networks using time series analysis	koumajos@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Jan Luxemburk	Network flow monitoring	luxemjan@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Tomáš Čejka, Ph.D.
Ing. Filip Němec	Network traffic monitoring for application specific environments	nemecfil@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Matúš Olekšák	Side channel analysis focused on ARX, postquantum and lightweight cryptography algorithms	oleksmat@fit.cvut.cz	Ing. Vojtěch Miškovský, Ph.D.
Ing. Jan Onderka	Model Checking for Digital Signal Processing Systems	onderjan@fit.cvut.cz	doc. Dipl.-Ing. Dr. techn. Stefan Ratschan
Ing. Jaroslav Pešek	Network monitoring and analysis	pesekja8@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. David Pokorný	Cryptanalysis of Post-Quantum Schemes	pokord11@fit.cvut.cz	Dr.-Ing. Martin Novotný
Tomáš Přeučil, MSc.	Security Analysis of Pervasive Devices	preucto2@fit.cvut.cz	Dr.-Ing. Martin Novotný
Ing. Jan Pleskač	Attack resistance prediction at early design stages	pleskaj@fit.cvut.cz	doc. Ing. Jan Schmidt, Ph.D.
Ing. Jan Řezníček	Dependability modelling	reznija5@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Martin Kohlík, Ph.D.
Ing. Dominik Soukup	Dataset Evaluation	soukudom@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Jakub Zahradník	Dependability models and reliability parameters’ computation with respect to realistic properties of modeled systems	zahraj16@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Martin Daňhel, Ph.D.

Defended Ph.D. Students

Name	Supervisor	Thesis	Year of defence
Petr Socha	Dr.-Ing. Martin Novotný Ing. Vojtěch Miškovský, Ph.D.	Side-Channel Security of Embedded Devices	2023
Robert Hülle	doc. Ing. Petr Fišer, Ph.D. doc. Ing. Jan Schmidt, Ph.D.	Automatic Test Pattern Generation of Zero-Aliasing Test for General Output Response Compactor	2023
Jan Bělohoubek	doc. Ing. Petr Fišer, Ph.D. doc. Ing. Jan Schmidt, Ph.D.	Testability and Physical Security: The Cell-Level Approach	2022
Matěj Bartík	Dr. Ing. Sven Ubik Ing. Pavel Kubalík, Ph.D.	Low-Latency Optimizations and Architectures for Compression Algorithms Implemented in (Programmable) Hardware	2021
Vojtěch Miškovský	prof. Ing. Hana Kubátová, CSc. Dr.-Ing. Martin Novotný	Side-Channel Analysis: Efficient Attacks and Fault-Tolerant Countermeasures	2020
Ladislava Smítková Janků	doc. Ing. Kateřina Hyniová, CSc.	Improvement of the Routing in Opportunistic Networks by the Application of Unsupervised and Supervised Machine Learning Techniques	2019
Jan Pospíšil	doc. Ing. Jan Schmidt, Ph.D.	Reliable FPGA Architectures	2019
Tomáš Čejka	prof. Ing. Hana Kubátová, CSc.	Stream-wise Parallel Anomaly Detection in Computer Networks	2018
Martin Daňhel	prof. Ing. Hana Kubátová, CSc.	Prediction and Analysis of Mission Critical Systems Dependability	2018
Pavel Vít	prof. Ing. Hana Kubátová, CSc.	Dependable design methods for programmable circuits with respect to area overhead?	2018
Tomáš Vaňát	prof. Ing. Hana Kubátová, CSc.	Physical Fault Injection and Monitoring Methods for Programmable Devices	2017
Pavel Benáček	prof. Ing. Hana Kubátová, CSc. Ing. Viktor Puš, Ph.D.	Generation of High-Speed Network Device from High-Level Description	2017
Jiří Balcárek	doc. Ing. Jan Schmidt, Ph.D. doc. Ing. Petr Fišer, Ph.D.	Implicit Representations in the Testing and Dependability of Digital Circuits	2017
Martin Chloupek	prof. Ing. Ondřej Novák, CSc.	Digital Circuits Testing Based on Pattern Ovelapping and Broadcasting	2017
Jaroslav Borecký	prof. Ing. Hana Kubátová, CSc.	Dependable Systems Design Methods for FPGAs	2015
Martin Kohlík	prof. Ing. Hana Kubátová, CSc.	Hierarchical Dependability Models Based on Markov Chains	2015
Jaroslav Sýkora	Ing. Martin Daněk, Ph.D.	Programmable and Customizable Hardware Accelerators for Self-adaptive Virtual Processors in FPGA	2014
Petr Žejdl	prof. Ing. Hana Kubátová, CSc. Dr. Ing. Sven Ubik	Low-Latency Video Transmissions for Real-Time Collaboration with a Scalable Hardware Acceleration	2014
Jiří Kvasnička	prof. Ing. Hana Kubátová, CSc.	Reliability Analysis of SRAM-based Field-Programmable Gate Arrays	2014
Jiří Halák	prof. Ing. Hana Kubátová, CSc. Dr. Ing. Sven Ubik	Extendable and Scalable FPGA-based High-speed Packet Processing	2013
Martin Šťáva	prof. Ing. Ondřej Novák, CSc.	Overlapping Non-dedicated Clusters Architecture	2013 (defended at FEL)
Leoš Kafka	prof. Ing. Ondřej Novák, CSc.	Fault Emulation Techniques for Generic Netlists in FPGAs	2012 (defended at FEL)

People

Head

prof. Ing. Hana Kubátová, CSc.

Members

Name & webpge	Research areas	E-mail
Ing. Miloš Bečvář	CPU architecture, digital design	milos.becvar@centrum.cz
Ing. Pavel Benáček, Ph.D.	Network devices	pavel.benacek@gmail.com
Ing. Jan Bělohoubek, Ph.D.	Physical security, EDA systems	belohja4@fit.cvut.cz
Ing. Jaroslav Borecký, Ph.D.	Self testing circuits based on FPGA	borecjar@fit.cvut.cz
Ing. Tomáš Čejka, Ph.D.	Computer networks: traffic monitoring, security, anomalies detection	cejkato2@fit.cvut.cz
Ing. Martin Daňhel, Ph.D.	Prediction and analysis of mission critical systems dependability	danhema1@fit.cvut.cz
Ing. Radek Dobiáš, Ph.D.	Fault-tolerant design in FPGA Railway sefety devices with programable HW	radek@radekdobias.cz
doc. Ing. Jiří Douša, CSc.	Logic design, simulation	dousa@fit.cvut.cz
doc. Ing. Petr Fišer, Ph.D.	Synchronous & asynchronous logic design Two-level minimization, multi-level logic synthesis Diagnostics, BIST, on-line testing Logic synthesis benchmarks	fiserp@fit.cvut.cz
Ing. Robert Hülle, Ph.D.	BIST, SAT-based ATPG	hullerob@fit.cvut.cz
doc. Ing. Kateřina Hyniová, CSc.	Control systems	Katerina.Hyniova@fit.cvut.cz
Ing. Pavel Kubalík, Ph.D.	Self testing circuits based on FPGA High-speed wireless networks	xkubalik@fit.cvut.cz
Ing. Martin Kohlík, Ph.D.	Formal dependability models	kohlimar@fit.cvut.cz
prof. Ing. Hana Kubátová, CSc.	Formal methods (Petri nets) in modelling, simulation and hardware design Automata theory Digital systems design Dependable design	kubatova@fit.cvut.cz
Ing. Vojtěch Miškovský, Ph.D.	Side-channel attacks	miskovoj@fit.cvut.cz
Dr.-Ing. Martin Novotný	Digital design Arithmetics Cryptography Embedded systems	novotnym@fit.cvut.cz
doc. Ing. Alois Pluháček, CSc.	Digital arithmetic, error correcting coding	pluhacek@fit.cvut.cz
doc. Dipl.-Ing. Dr. techn. Stefan Ratschan	Formal verification Hybrid (continuous/discrete) systems	stefan.ratschan@cs.cas.cz
doc. Ing. Jan Schmidt, Ph.D.	Implicit methods, test generation Logic synthesis Finite-field arithmetics EDA systems	schmidt@fit.cvut.cz
Ing. Miroslav Skrbek, Ph.D.	Control systems, robotics	skrbek@fit.cvut.cz
Ing. Petr Socha, Ph.D.	Side-Channel Security	sochapet@fit.cvut.cz
Dr. Ing. Sven Ubik	Hardware acceleration of video transmissions	ubik@cesnet.cz
Ing. Tomáš Vaňát, Ph.D.	Practical experiments with fault injection into programable HW	vanattom@fit.cvut.cz

Ph.D. Students

Name & webpge	Research areas	E-mail	Supervisor
Ing. Tomáš Balihar	Formal methods in dependable and secure systems design	balihto1@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Vojtěch Miškovský, Ph.D.
Ing. Tomáš Beneš	Network flow monitoring	benesto3@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Tomáš Čejka, Ph.D.
Ing. Matěj Havránek	Utilizing artificial intelligence in malware analysis	havrama5@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Mgr. Peter Kálnai, Ph.D.
Ing. Matej Hulák	High-speed network traffic classification to detect security threats	hulakmat@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Karel Hynek	Network flow analysis	hynekkar@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Tomáš Čejka, Ph.D.
Ing. Stanislav Jeřábek	FT & AR design in FPGA	jerabst1@fit.cvut.cz	doc. Ing. Jan Schmidt, Ph.D. Dr.-Ing. Martin Novotný
Ing. Jiří Khun	High-performance computing	khunjiri@fit.cvut.cz	doc. Ing. Jan Schmidt, Ph.D. Dr.-Ing. Martin Novotný
Ing. Tomáš Kolárik	Boolean Satisfiability Modulo Differential Equations	kolarto5@fit.cvut.cz	doc. Dipl.-Ing. Dr. techn. Stefan Ratschan
Ing. Martin Košťál		kostama7@fit.cvut.cz	Ing. Miroslav Skrbek, Ph.D.
Ing. Josef Koumar	Detection of security threats in high-speed networks using time series analysis	koumajos@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Jan Luxemburk	Network flow monitoring	luxemjan@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Tomáš Čejka, Ph.D.
Ing. Filip Němec	Network traffic monitoring for application specific environments	nemecfil@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Matúš Olekšák	Side channel analysis focused on ARX, postquantum and lightweight cryptography algorithms	oleksmat@fit.cvut.cz	Ing. Vojtěch Miškovský, Ph.D.
Ing. Jan Onderka	Model Checking for Digital Signal Processing Systems	onderjan@fit.cvut.cz	doc. Dipl.-Ing. Dr. techn. Stefan Ratschan
Ing. Jaroslav Pešek	Network monitoring and analysis	pesekja8@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. David Pokorný	Cryptanalysis of Post-Quantum Schemes	pokord11@fit.cvut.cz	Dr.-Ing. Martin Novotný
Tomáš Přeučil, MSc.	Security Analysis of Pervasive Devices	preucto2@fit.cvut.cz	Dr.-Ing. Martin Novotný
Ing. Jan Pleskač	Attack resistance prediction at early design stages	pleskaj@fit.cvut.cz	doc. Ing. Jan Schmidt, Ph.D.
Ing. Jan Řezníček	Dependability modelling	reznija5@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Martin Kohlík, Ph.D.
Ing. Dominik Soukup	Dataset Evaluation	soukudom@fit.cvut.cz	Ing. Tomáš Čejka, Ph.D.
Ing. Jakub Zahradník	Dependability models and reliability parameters’ computation with respect to realistic properties of modeled systems	zahraj16@fit.cvut.cz	prof. Ing. Hana Kubátová, CSc. Ing. Martin Daňhel, Ph.D.

Defended Ph.D. Students

Name	Supervisor	Thesis	Year of defence
Petr Socha	Dr.-Ing. Martin Novotný Ing. Vojtěch Miškovský, Ph.D.	Side-Channel Security of Embedded Devices	2023
Robert Hülle	doc. Ing. Petr Fišer, Ph.D. doc. Ing. Jan Schmidt, Ph.D.	Automatic Test Pattern Generation of Zero-Aliasing Test for General Output Response Compactor	2023
Jan Bělohoubek	doc. Ing. Petr Fišer, Ph.D. doc. Ing. Jan Schmidt, Ph.D.	Testability and Physical Security: The Cell-Level Approach	2022
Matěj Bartík	Dr. Ing. Sven Ubik Ing. Pavel Kubalík, Ph.D.	Low-Latency Optimizations and Architectures for Compression Algorithms Implemented in (Programmable) Hardware	2021
Vojtěch Miškovský	prof. Ing. Hana Kubátová, CSc. Dr.-Ing. Martin Novotný	Side-Channel Analysis: Efficient Attacks and Fault-Tolerant Countermeasures	2020
Ladislava Smítková Janků	doc. Ing. Kateřina Hyniová, CSc.	Improvement of the Routing in Opportunistic Networks by the Application of Unsupervised and Supervised Machine Learning Techniques	2019
Jan Pospíšil	doc. Ing. Jan Schmidt, Ph.D.	Reliable FPGA Architectures	2019
Tomáš Čejka	prof. Ing. Hana Kubátová, CSc.	Stream-wise Parallel Anomaly Detection in Computer Networks	2018
Martin Daňhel	prof. Ing. Hana Kubátová, CSc.	Prediction and Analysis of Mission Critical Systems Dependability	2018
Pavel Vít	prof. Ing. Hana Kubátová, CSc.	Dependable design methods for programmable circuits with respect to area overhead?	2018
Tomáš Vaňát	prof. Ing. Hana Kubátová, CSc.	Physical Fault Injection and Monitoring Methods for Programmable Devices	2017
Pavel Benáček	prof. Ing. Hana Kubátová, CSc. Ing. Viktor Puš, Ph.D.	Generation of High-Speed Network Device from High-Level Description	2017
Jiří Balcárek	doc. Ing. Jan Schmidt, Ph.D. doc. Ing. Petr Fišer, Ph.D.	Implicit Representations in the Testing and Dependability of Digital Circuits	2017
Martin Chloupek	prof. Ing. Ondřej Novák, CSc.	Digital Circuits Testing Based on Pattern Ovelapping and Broadcasting	2017
Jaroslav Borecký	prof. Ing. Hana Kubátová, CSc.	Dependable Systems Design Methods for FPGAs	2015
Martin Kohlík	prof. Ing. Hana Kubátová, CSc.	Hierarchical Dependability Models Based on Markov Chains	2015
Jaroslav Sýkora	Ing. Martin Daněk, Ph.D.	Programmable and Customizable Hardware Accelerators for Self-adaptive Virtual Processors in FPGA	2014
Petr Žejdl	prof. Ing. Hana Kubátová, CSc. Dr. Ing. Sven Ubik	Low-Latency Video Transmissions for Real-Time Collaboration with a Scalable Hardware Acceleration	2014
Jiří Kvasnička	prof. Ing. Hana Kubátová, CSc.	Reliability Analysis of SRAM-based Field-Programmable Gate Arrays	2014
Jiří Halák	prof. Ing. Hana Kubátová, CSc. Dr. Ing. Sven Ubik	Extendable and Scalable FPGA-based High-speed Packet Processing	2013
Martin Šťáva	prof. Ing. Ondřej Novák, CSc.	Overlapping Non-dedicated Clusters Architecture	2013 (defended at FEL)
Leoš Kafka	prof. Ing. Ondřej Novák, CSc.	Fault Emulation Techniques for Generic Netlists in FPGAs	2012 (defended at FEL)