Three researchers from the Faculty of Informatics involved in Red Hat Research were awarded with the 2021 “MUNI Innovation Award”

Dec 15, 2021 | Europe, Masaryk University, News

Photo credit: Tomáš Škoda

Masaryk University, one of Red Hat’s partner universities, awarded the 2021 “MUNI Innovation Award” at its Business Research Forum on November 11, 2021. These new awards aim at individual students and employees whose outputs have been successfully implemented in practice, have helped improve products or services or have otherwise contributed to increasing the social relevance of Masaryk University’s research activities.

Since this was the very first year of MUNI Innovation Awards, the 2021 awards covered achievements over the last ten years.

The evaluation committee selected and awarded 17 nominations across 10 faculties (schools) at the Masaryk University, including the Faculty of informatics. We are pleased that Red Hat played a role in this initiative, as three of the winners (representatives from the Faculty of Informatics) are involved with Red Hat Research and their winning projects not only contributed to the practical application of knowledge and activities of the Masaryk University, but also advanced open source innovation.

The three awarded individuals or research teams are:

1. Petr Švenda

Research Project: Mining issued Common Criteria and FIPS140-2 certificates
Petr Švenda was recognized for the design of new methodologies for security system analyses and reviews of cryptographic implementations. These enable one to verify the security of newly developed devices and find bugs – thus allowing for their timely correction against misuse.

In 2017, his group found and helped eliminate the most serious cryptographic vulnerabilities in the current electronic ID cards of many European countries and in the security solutions of major IT vendors.

The results of this research led to a change in global certification procedures in the field of digital signature key generation. Petr cooperates with Red Hat researchers on the design and implementation of several open source security certification tools.

Watch Petr’s talk on “Mining Issued Common Criteria and FIPS 140-2 Certificates” that he presented at Red Hat Research Days 2021:

Red Hat Research Days 2021: Mining Issued Common Criteria and FIPS 140-2 Certificates

2. Radek Pelánek

Research project: Adaptive Learning of Programming
Radek Pelánek won the MUNI Innovation Award for research results using machine learning and data processing methods that provided the basis for the design of the learning environment implemented on the website www.umimeto.org. Radek leads the university’s Adaptive Learning Research Group that focuses on the use of artificial intelligence, machine learning and data analysis in the development of learning environments. Umíme (umimeto.org) is a start-up founded by Petr Jarušek, a former PhD student in the group. Umíme started with a practice of Czech orthography and grammar and now covers the many other subjects (mathematics, English, programming, geography, …). It is now used by more than 10% of Czech schools.

Red Hat currently supports his research with Tomáš Effenberger, a PhD student focusing on introductory programming and computational thinking. His research work concerns the design of exercises (e.g., microworlds for block-based programming) and analysis of data from programming exercises. This research serves as a useful guide for practical development of teaching tools.

Watch Radek’s talk on “Machine learning for improving human learning” that he presented at Red Hat Research Days 2020:

Red Hat Research Days 2020: Machine Learning for improving human learning

3. Milan Brož, Mikuláš Patočka, and Václav Matyáš

Research project: Improving full disk encryption
The team was recognized for their work on Full Disk Encryption (FDE) that has become a widely used security feature. FDE rarely provided cryptographic data integrity protection, so the team introduced an algorithm-agnostic solution that provides both data integrity and confidentiality protection at the disk sector layer.

Their open source solution is intended for drives without any special hardware extensions and is based on per-sector metadata fields implemented in software. Their implementation has been included in the Linux kernel since the version 4.12. Milan did this work as a Brno office Red Hatter and also a PhD student of Vashek Matyáš, with another Red Hatter Mikuláš Patočka contributing mainly with the efficient implementation of the solution.

Watch Milan’s talk on “Improving disk encryption in Linux” that he presented at Red Hat Research Days 2020:

Red Hat Research Days 2020: Improving disk encryption in Linux



Congratulations to all the winners and their achievements! This great success confirms the quality and importance of our collaboration with Masaryk University in open source communities.

Related Stories

OpenShift on elastic secure bare metal infrastructure

OpenShift on elastic secure bare metal infrastructure

The Red Hat Research team supports several cloud environments, such as MOC Alliance and CloudLab. We realized there is a need to increase the productivity of bare metal machines in these environments and to promote leasing unused infrastructure to trusted partners....

Call for Project Ideas (North America Research Interest Group)

Call for Project Ideas (North America Research Interest Group)

Are you a Red Hatter with a project idea that needs a little help getting started? Could your project benefit from some intern power?  Red Hat Research (RHR) may be able to help by providing intern and research support to get your idea off the ground or to the next...

DevConf.CZ Mini 2022 features Red Hat supported research projects

DevConf.CZ Mini 2022 features Red Hat supported research projects

Held on November 3, DevConf.CZ Mini featured talks themed around Cloud and Hyperscale, Edge Computing, and Future Tech and Open Research, including two research collaborations with Brno University of Technology and Czech Technical University in Prague supported by Red...

Open source values are the focus of Red Hat Summer Camp in Brno

Open source values are the focus of Red Hat Summer Camp in Brno

In summer 2022, a group of Red Hat volunteers organized the first in-office run of Red Hat Summer Camp Brno: an IT camp aimed at high school students, regardless of how much IT experience they had. The goal of the summer camp was to bring together people with...

PHYSICS 4th General Assembly held

PHYSICS 4th General Assembly held

Yiannis Georgiou, Ryax, discussing project outcomes The 4th PHYSICS project General Assembly meeting was held July 4-6, 2022, hosted by RYAX in Athens, Greece. During the meeting, partners analyzed the project’s growth and had the opportunity to participate in person...