Topics

Integrate GnuTLS DTLS into oss-fuzz

Google is providing infrastructure for continuously running fuzzing tests against open source libraries called OSS-Fuzz. The goal is to design and implement a test harness for testing the Datagram Transport Layer Security (DTLS) server and client from GnuTLS so that it can be tested using OSS-Fuzz.
Security

Search filters on the file manager

Have you ever wanted to do a search in all your files for songs that are from a specific band? Or did you ever wanted to search on your pc for your favorite e-book and the only thing you know for sure is that its author is “James” and the title of the book contains “Fifty”? Or how about the episode 7 of season 3 of the series Game Of Thrones that you have all around in a folder with a million more series?
Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
Desktop

Vehicle Routing Solver based on OptaPlanner

Research VRP problems and do benchmarking on public data-sets for quick comparison between chosen open source engines.
Brno University of Technology
JBoss

Recommender System for Web Articles

Brno University of Technology
machine learning

Transformation of native upstream repositories into Fedora dist-git format

Developer ExperienceFedora

Analyze & improve the filters in GNOME Photos

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
Desktop

Componentization of complex form

Brno University of TechnologyMasaryk UniversityMendel University in Brno

NN trainings using the Torch framework

Brno University of TechnologyMasaryk University

License analysis for public packages on GitHub

Brno University of TechnologyCzech Technical University in PragueMasaryk University

Management module to review virtual datacenter status in oVirt

Brno University of Technology
CloudVirtualization

Toolkit for compatibility testing of virtualization infrastructure.

CloudQuality AssuranceVirtualization

Automatic seccomp syscall policy generator

Brno University of Technology
Security

Continuous Integration and Automated Code Review in Open Source Projects

Brno University of Technology
Developer Experience

Remote API Web Reference for Java Enterprise Applications

Brno University of Technology
JBoss

Automatic topology for FreeIPA deployments

Brno University of TechnologyCzech Technical University in PragueMasaryk University
FreeIPANetworkingSecurity

Implement detection of duplicate test coverage for Java applications

Masaryk University
JBossQuality Assurance

Special Data View for a High Productivity Information System

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityUniversity of Pavel Jozef Safarik
JBoss

Business Processes for a High Productivity Information System

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityUniversity of Pavel Jozef Safarik
JBoss

Data Mining for High Productivity Information System

Brno University of TechnologyMasaryk UniversityUniversity of Pavel Jozef Safarik
CloudJBoss

Data Explorer for a High Productivity Information System

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityUniversity of Pavel Jozef Safarik
JBoss

Property based testing in practice for NodeJS services

Masaryk University

Performance optimization of testing automation framework based on Beakerlib

Quality Assurance

Extend USBGuard to support external authorization policy sources

Brno University of Technology
Security

Application-specific passwords / Multiple passwords for one user in FreeIPA

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaUtrecht UniversityVŠB - Technical University of Ostrava
FreeIPASecurity

Using the Immutables processor in the Java programming language

Brno University of TechnologyMasaryk University
Compilers and InterpretersOpenJDK

Java source code analysis using the Spoon library

Brno University of TechnologyMasaryk University
Compilers and InterpretersOpenJDK

Remote Execution Output Processing

Brno University of Technology
Satellite

Web Service for Generic Archive Comparison

Brno University of TechnologyCzech Technical University in PragueMasaryk UniversityVŠB - Technical University of Ostrava
Developer Experience

Provide automated unit testing and profiling in the file manager

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
DesktopQuality Assurance

Web SDR receiver

DesktopNetworking

Docker image(s) for PerfRepo

Brno University of TechnologyCzech Technical University in PragueMasaryk University
CloudQuality Assurance

PerfCake support in IDE tools

Brno University of TechnologyMasaryk University
Quality Assurance

Enhancement of PerfCake

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
JBoss

Possibilities for data-mining from n-dimensional matrix

Brno University of Technology

Case Management Task Assignment Using OptaPlanner

Masaryk University
JBoss

Vizualizace práce CPU

Brno University of TechnologyMasaryk University
Compilers and Interpreters

OpenMAX performance benchmarks

Brno University of TechnologyMasaryk University
Compilers and InterpretersQuality Assurance

Scene editor for Box2D physics simulator engine

Brno University of TechnologyMasaryk University
Desktop

Git reporting tool

Brno University of TechnologyMasaryk University
Quality Assurance

Business Process Wizard

Masaryk University
JBoss

PerfCake scenario editor for NetBeans

Brno University of TechnologyMasaryk University
Quality Assurance

Integration SELinux troubleshooting into ABRT Tool

Brno University of Technology
Security

Technical documentation validator

Masaryk University

ELF binary file infection – possibilities and implementation

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucVŠB - Technical University of Ostrava
Security

Graphical ELF binary file viewer and simple editor

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucTomas Bata University in ZlínVŠB - Technical University of Ostrava
DesktopKDE & QtSecurity

Polymer elements for Business Process Management System

Brno University of TechnologyCzech Technical University in PragueMasaryk University
JBoss

Libvirt unified job control

Tomas Bata University in Zlín
Virtualization

Libvirt Admin API

Brno University of Technology
Virtualization

“Broken” DNS proxy – for simulating DNS issues

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
NetworkingQuality Assurance

Test shield for ARM-based boards

Brno University of TechnologyCzech Technical University in Prague
Quality Assurance

DHCP support for FreeIPA server

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
CloudFreeIPANetworking

Identity information for Web applications on Windows platform

Brno University of TechnologyCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
FreeIPASecurity

Graphical Debugger of GPIO Pins

Brno University of TechnologyCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
JBoss

Dependent identity lifecycle management

Brno University of TechnologyCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
FreeIPASecurity

Multi-factor authentication in web applications using PAM

Brno University of TechnologyCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
Developer ExperienceFreeIPANetworkingSecurity

Add support for external authentication to web project

Brno University of TechnologyCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
CloudFreeIPANetworkingSecurity

Implement external authentication modules for nginx

Brno University of TechnologyCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of South BohemiaUniversity of ŽilinaVŠB - Technical University of Ostrava
CloudDeveloper ExperienceFreeIPANetworking

Performance Testing of Linux Kernel

Brno University of Technology

Extracting a configuration parser from the application source code.

Masaryk University
Compilers and Interpretersstatic analysis

Jenkins queue overrunning

Jenkins has a queuing mechanism to checkout jobs and a mechanism for cancelling builds in queue. Sometimes there is a need to move a job in a queue up or down. Jenkins already has many mechanisms for prioritizing jobs, but not individual builds. Also, all currently existing solutions, however very flexible and sophisticated, are more heavy-weight than necessary. The student should research and hack how Jenkins queue is working, and enable two simple arrows UP+DOWN (for moving in queue) to currently existing X (remove from queue). The result should be a working Jenkins plugin, ensuring that short jobs can overtake frozen queue during the shutdown time of long running tasks, and deployed on https://plugins.jenkins.io/. 

OpenJDK

Comparison between FIPS module implementations

Most cryptographic libraries support running in Federal Information Processing Standard (FIPS) 140-2 mode. For cryptographic operations to be FIPS 140 compliant, only certain algorithms and key sizes can be used. For example, use of RSA keys 1536 bit long is not allowed. Some libraries require the application using it to know about those limitations and not initiate them in FIPS mode while others will refuse to perform operations with FIPS 140-non-compliant cryptographic primitives. The goal of the work is to learn the NIST FIPS140-2 requirements for applications, and check and compare the behavior of different libraries when operating under FIPS mode.
Security

TLS 1.3 features in GnuTLS

The new Transport Layer Security (TLS) version, 1.3, changed the way old features should be handled and added new features to the ones that can be implemented by libraries. The goal of the work is to study cryptographic features used in the real world and to implement some selected features in the GnuTLS library.

Reusable test coverage for TLS implementations

Current libraries that implement Transport Layer Security (TLS) need to implement multiple versions of the protocol, many separate features (sometimes dozens) and support multiple configurations. This complexity means that it is very hard to manually create tests that provide high degree of test coverage (especially if the interactions between features are unexpected). The tlsfuzzer project addresses this problem, by testing several features, corner cases and lesser used features of TLS implementations. There are however, some features missing.
Security

Transaction analyser tool for Narayana

The goal is to design and implement an application that would gather information about the transaction processing occurring within
Narayana transaction manager. Narayana normally runs as part of the WildFly application server but has more integration. Having a good solution for monitoring can help users to understand and solve issues connected with the transaction processing. Having the universal tool is more important in the present time where Narayana is integrated with many different systems as WildFly, Spring Boot, Camel or Apache Tomcat.
Brno University of TechnologyMasaryk University
JBoss

Narayana LRA tracing in the microservice architecture

The goal is to investigate on the microservice tracing capabilities with focus on
MicroProfile OpenTracing. With this knowledge in hand then design and integrate a solution that is capable to provide detailed information about saga based protocol - LRA. Narayana LRA is an implementation of “saga transactions” as effort to add transaction capabilities to the MicroProfile (set of specifications transferring Java EE development approaches to the microservice environment while boosting them to the next level). Saga is a concept of transaction processing where the transaction manager does not ensure full ACID guarantees. While it relaxes some of the guarantees it runs without explicit locks which makes this concept a good fit for the distributed microservice environments.
Brno University of TechnologyMasaryk University
CloudJBoss

Event sourcing for Narayana LRA

The goal is to
investigate on event sourcing. Find what it is and how it is used in the microservice architecture. Then design and change the current Narayana LRA implementation to be capable to store its state changes as events by saving them in the event source log storage. Narayana LRA is an implementation of “saga transactions” as effort to add transaction capabilities to the MicroProfile (set of specifications transferring Java EE development approaches to the microservice environment while boosting them to the next level). Saga is concept of transaction processing where transaction manager does not ensure full ACID guarantees. While it relaxes some of the guarantees it runs without explicit locks which makes this concept a good fit for the distributed environments where microservice architecture is implemented in.
Brno University of TechnologyMasaryk University
CloudJBoss

Tool for detecting enabled features and bugs in SSL and TLS servers

Many of the features and ciphersuites in Secure Sockets Layer (SSL) and Transport Layer Security (TLS) servers are not considered secure and safe to enable. To verify that they are not supported by a server, it is necessary to be able to advertise them in the first message send by the client in TLS – the Client Hello. The cipherscan tool, does just that, in order to discover the supported ciphersuites in a server. As a back-end it uses the openssl application. Unfortunately, as OpenSSL project is deprecating insecure old features it is also adding new features, causing no version of OpenSSL to be able to advertise and thus detect all the features.
NetworkingSecurity

Interoperability testing of open source TLS implementations

There are various application libraries implementing the Transport Layer Security protocol. Implementations like GnuTLS, NSS, OpenSSL, Go and Java perform only limited amount of interoperability testing, usually with just one or two other libraries. The goal of the thesis is to create the necessary test harnesses for the Go and Java implementations, designing a test suite between them and the other three implementations.
crypto
Security

RSA-PSS test coverage

Transport Layer Security (TLS) version 1.3 brought support for Rivest–Shamir–Adleman Signature Scheme with Appendix – Probabilistic Signature Scheme (RSASSA-PSS) algorithm. Support for this algorithm requires support for new key type and new signature type (in X.509 certificates). Specification of the signatures and limitations of the keys themselves is much more complex than any other algorithm (like the RSA signatures specified in the Public-Key Cryptography Standard (PKCS) #1 version 1.5 or the Elliptic Curve Digital Signatures (ECDSA)), with every signature including 4 variables and the public key that made the signature can have additional 4 variables specifying the key limitations.
crypto
Security

Impact of virtualization on benchmark accuracy

The side-effects of virtualization to benchmarks are long time known. However virtualization technologies are advancing, and their footprint is smaller and smaller. In this thesis, student should investigate how individual virtualization technologies: full (kvm, vbox, oVirt) or shared kernel (Docker) or nested and mixed, are affecting performance and stability of various Java benchmark types -  CPU, time, network, bytecode, IO. Support for virtualization is seen also in JDK itself, so more then one Java can come to play.
OpenJDKVirtualization

Jenkins shutdown queue plugin

Jenkins has a queuing mechanism to checkout jobs before execution and shutdown mode when queue is frozen and system just waits for all jobs to be finished. When the queue is full of short jobs and the last running job is very long job, this becomes very inefficient. The student should research and hack how Jenkins is estimating time of individual jobs, how the queue is organized, how the shutdown mode works. The result should be a working Jenkins plugin, ensuring that short jobs can overtake frozen queue during the shutdown time of long running tasks, and deployed on https://plugins.jenkins.io/ If done  together with https://research.redhat.com/diplomas/jenkins-queue-overrunning/ it can be super-powerful combo. Possible as one-man-show or two students team work
OpenJDK

Research of Fedora Status for Machine Learning

Machine learning and artificial intelligence gain a lot of popularity lately. Fedora distribution wants to become a distribution of choice for developers who develop applications in this field, and the focus is on Python language. This project is mostly a research and the goal is to identify pain points in Fedora distribution in this new, progressively developed field, and prepare content on the Fedora Developer Portal to help new-comers to begin in this field. Except the research, there are some coding part: one is to prepare an example application from the machine learning field, and others are bringing the missing pieces into the Fedora RPM repositories.
Brno University of TechnologyMasaryk UniversityVŠB - Technical University of Ostrava
Developer Experience

Continuous Integration System for TLS/SSL Libraries Interoperability

  1. Study design and implementations of SSL/TLS protocol (focus on OpenSSL, NSS and GNUTLS) and current state of the art of its interoperability and integration testing. Get familiar with existing tools and solutions for implementing public projects with continuous integration features.
  2. Design a system for publicly sharing integration and interoperability SSL/TLS tests that is able to execute the test suite and expose testing results to public before incorporating particular commit and pull request in both the test suite and upstream implementation of SSL/TLS library. This system should support tests written in BeakerLib [1]. Design a test suite for testing interoperability and integration of SSL/TLS libraries, get familiar with existing Red Hat tests and identify coverage gaps.
  3. Implement the system. Import existing test suite. Implement new tests for areas that are not covered.
  4. Evaluate the quality of the system. Demonstrate the robustness of the test suite by introducing artificial errors inspired by real issues from the past. Report found defects in upstream issue tracking systems.
Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaUtrecht UniversityVŠB - Technical University of Ostrava
NetworkingSecurity

Dynamic Extensible DSL Documentation Tool in the Ruby Programming Language Context.

The topic of this thesis is exploring the ways of documenting domain specific languages (DSLs) in the Ruby programming language, and enhance the existing tooling or implement a new one, to better support particular use-cases.
Brno University of Technology
Satellite

Web-based customers cases aggregation and reporting tool

Currently, there is no efficient way how to get notified about customer cases in Quality Engineering department. Quality Engineers would be interested in how the product is used in real life, to be able to adjust testing scenarios accordingly and provide better services for end customers. Employees have to go manually through the list of reported cases and find what they need. In order to make their work easier, it would be useful to implement a web-based application that would send reports with information about cases to subscribed users according to certain criteria. This way, they would get fresh information about how the product is used and can improve the product quality based on these information. The aim of this thesis is to create a web-based application that scans cases reported by Red Hat customers for particular products and sends reports to subscribed users regularly. The application must meet at least the following requirements:
  • Users subscribe themselves to receive reports on specific email addresses based on product name, product version, time interval, delay and keywords
  • Users can register into the application
  • Users can request report on-demand
  • Users can manage only their subscriptions through Web UI
  • Admins are able to manage all subscriptions through Web UI
  • The application has to be deployed into OpenShift cloud platform
Thesis assignment:
  1. Study the Red Hat customer cases format and identify the most relevant fields
  2. Get familiar with OpenShift cloud platform and its application runtimes
  3. Analyze and gather requirements for the application
  4. Design the web-based application according to the requirements
  5. Implement the designed application on the chosen application runtime
  6. Test and deploy the application on OpenShift cloud platform
  7. Evaluate the application and discuss possible future extensions
[1] https://docs.openshift.com/container-platform/3.10/welcome/index.html

LSP clients generator

The goal of this thesis is to design and implement a tool for creating LSP clients for different IDEs (Eclipse, Eclipse Che, VS Code, …). On the input will be an LSP server. The output will be LSP clients for this server with instructions on how to install them into particular IDEs. The tool should be able to generate clients for the Apache Camel LSP server first. Although, it should be able to produce clients for an arbitrary LSP server. The implemented tool should be easy to use and build on top of modern technologies and approaches.
Brno University of Technology
Developer Experience

A static analysis tool detecting bugs in signal handlers

Brno University of Technology
Compilers and Interpreters

Gantt Chart Tool

Goals The main goal of this topic is to develop an online tool for creating Gantt charts. It must support creating, editing and storing diagrams per registered user. The student will get familiar with developing web applications using modern JavaScript technologies and frameworks (NodeJS, ExpressJS), NoSQL databases (MongoDB) and securing web applications leveraging passport.js and Auth0 IdM Platform.
Brno University of TechnologyMasaryk UniversityMendel University in Brno

Decompilation of restored in-memory class fragments in running JVM

Based on ability of JVM to restructure already loaded classes and by using existing decompilers decompile in memory transformed fragments of java classes close to human-readable form. Student must investigate existing mechanisms in JVM allowing restoration of bytecode class representation. By modifications in existing decompilers the machine code can be decompiled to one or more JVM languages (java, clojure…) also with theirs various intermediate forms. As bonus the view can contain full syntax highlight or be able to compile the class back to JVM. Recommended environment is implementation as thermostat plugin as it allows easy access to running JVM
Masaryk University
OpenJDK

ManageIQ Expression Editor

ManageIQ is an open-source management platform that delivers insight, control, and automation functionality allowing enterprises to manage hybrid IT environments. The ManageIQ application collects information about various entities such as Virtual Machines, Hosts, Containers, etc., with numerous attributes and relationships.

Mobile applications for EvMan

The aim of the thesis is to create a mobile application for platforms Google Android and Apple iOS, using which the user will be able to perform some processes on the EvMan event management system. The first milestone is to analyze the EvMan information system and build a list of requirements for the mobile application. The second milestone is to design and build API that will be used for communication between the mobile application and the EvMan information system. The third milestone analyze available tools for building cross-platform mobile applications and choose the one that will be used. The fourth milestone is to design and implement mobile application.

High-availability for PostgreSQL in OpenShift

PostgreSQL database system by default offers replication with one master server and several read-only replicas. That design also allows to implement high-availability (HA), but only with several other tools and further configuration done by administrator. In OpenShift PaaS, implementing such HA is even more challenging, but it's very important in fully automatic cloud environment. The goal of the project is to investigate how existing solutions work and implement one or more container images based on Fedora packages, which would deliver HA with automatic fail-over in OpenShift environment.
Brno University of TechnologyMasaryk University
CloudDeveloper Experience

Timing side-channel detection in TLS implementations

Because cryptography used in TLS (and the old SSL) is used in online manner - the results of computations are sent over the network as soon as they are available - it makes it possible to attack the implementation by measuring the time it takes the server to respond or reject messages sent by attacker. The goal of this thesis is to extend an existing TLS test suite and test framework to be able to check if an implementation under test does leak information about keys or encrypted data through timing of responses. Complete project would extend the tlsfuzzer test framework by implementing the feature to compare the timing of responses between two test scenarios or searching for correlations between the negotiated keys and timing of server responses by running the same test scenario over and over again.

Expectations

The student will:
  • study the CBC-MAC construct used in TLS
  • study the side-channel vulnerabilities caused by timing leaks in symmetric and asymmetric encryption and decryption
  • design tlsfuzzer test cases aiming at showing distinguishing attacks at encryption and decryption
  • design and implement an automated framework aimed at testing for presence of timing leaks in arbitrary TLS implementations by using timing of network responses

Literature

Security

Using DNS for verifying integrity of software packages

Brno University of TechnologyMasaryk UniversityMendel University in Brno
NetworkingSecuritySoftware management

Client side DNSSEC deployment

Brno University of TechnologyCharles UniversityCzech Technical University in PragueMasaryk UniversityMendel University in BrnoPalacky University in OlomoucSilesian University in OpavaSlovak Technical University in BratislavaTechnical University of KošiceTomas Bata University in ZlínUniversity of PardubiceUniversity of Pavel Jozef SafarikUniversity of South BohemiaUniversity of ŽilinaUtrecht UniversityVŠB - Technical University of Ostrava
NetworkingSecurity

Approval System for Keycloak

Masaryk University
JBossKeycloakSecurity

rcm-pdc opensource and test coverage

Open sourcing and test coverage for RCM Internal library "rcm-pdc" which used to generate "transport layer" for internal release train. "Transport layer" is really a transformation of data in product build to match the format of the internal tool used to push product to Satellite 5 or Satellite 6 (an internal equivalent of opensource project spacewalk).

Deep Neural Networks Used for Customer Support Cases Analysis

Brno University of Technology

Configurable GUI for the GNU Debugger

(draft to be updated after meeting with student) Design a configurable GUI application for the GNU Debugger The aim is not to replace IDE functionality, but to allow users use the GUI for specific things, like tracing, use watchpoint connected to configurable graphs etc.
Brno University of TechnologyMasaryk UniversityMendel University in Brno

Nginx authentication with dynamically loaded modules

Brno University of TechnologyMasaryk University
NetworkingSecurity