|
|
Anonymous certificates for user authentication
Hlinka, Jan ; Malina, Lukáš (referee) ; Dzurenda, Petr (advisor)
Topic of this thesis is privacy protection when using anonymous certificate authentication. Today’s most common case of oversharing private data is proving Covid vaccination or Covid test results. This thesis describes and implements system that is using anonymous certficates. The system solves mentioned issues of current CovidPass authentication methods. The implementation is done on the Android platform in case of the user application and verifier application is run on Raspberry PI, which works as an access terminal.
|
|
|
Attribute Authentication on Android Platform
Strakoš, Jan ; Ricci, Sara (referee) ; Malina, Lukáš (advisor)
This master’s thesis focuses on implementation of ABC (Anonymous attribute-based credential) pilot system on the Android platform. The support for attribute authentication on the Android platform is very weak in terms of the number of implementations and needs a special attention. The theoretical part of the thesis describes the cryptographic support on the Android platform, the use of the Android Native Development Kit (NDK) and the Host-Card Emulation (HCE) service. The theoretical part of the thesis also includes a description of attribute authentication schemes, including a pilot RKVAC system. The practical part describes the implementation of the RKVAC system on the Android platform along with the implementation of a custom cryptographic kernel based on the native MCL cryptographic library. The practical part of this thesis describes implementation proces of RKVAC system on Android plaform, that uses native cryptographic library MCL. The final part shows the results of time, memory and computation difficulty of developed applications.
|
|
|
Web-based visualization of anonymous credential scheme
Sohr, Jakub ; Malina, Lukáš (referee) ; Dzurenda, Petr (advisor)
This thesis explores attribute based credential schemes and the cryptographic preliminaries that are the building blocks of such schemes. The main focus of this thesis is the RKVAC scheme, which is implemented and visualized. This thesis also describes the entities and protocols of the RKVAC scheme and their roles within it. The implemented web application is designed to introduce the RKVAC scheme to the public.
|
|
|
Anonymous certificates for user authentication
Hlinka, Jan ; Malina, Lukáš (referee) ; Dzurenda, Petr (advisor)
Topic of this thesis is privacy protection when using anonymous certificate authentication. Today’s most common case of oversharing private data is proving Covid vaccination or Covid test results. This thesis describes and implements system that is using anonymous certficates. The system solves mentioned issues of current CovidPass authentication methods. The implementation is done on the Android platform in case of the user application and verifier application is run on Raspberry PI, which works as an access terminal.
|
|
|
Monte Carlo Localization on a graph
Pilát, Ondřej ; Obdržálek, David (advisor) ; Iša, Jiří (referee)
This bachelor thesis concerns the Monte Carlo localization on a graph. Topics researched and solved were: movement of particles on the graph, generating particles on the edge of the graph according to the last measurements, correction from localization errors, evaluation of particles based on a different types of sensors and creation of the graph from a freely available map. The utilization of the graph as a map of environment and appropriately designed movement of particles on the graph make global localization of an autonomous robot in the environment easier. The implementation was tested on a real set of data from several autonomous robots. As a result, it was observed that movement of particles on edges of the graph well represents the movement of the robot on real paths and ensures high resistancy against senzor errors.
|
|
|
Attribute Authentication on Android Platform
Strakoš, Jan ; Ricci, Sara (referee) ; Malina, Lukáš (advisor)
This master’s thesis focuses on implementation of ABC (Anonymous attribute-based credential) pilot system on the Android platform. The support for attribute authentication on the Android platform is very weak in terms of the number of implementations and needs a special attention. The theoretical part of the thesis describes the cryptographic support on the Android platform, the use of the Android Native Development Kit (NDK) and the Host-Card Emulation (HCE) service. The theoretical part of the thesis also includes a description of attribute authentication schemes, including a pilot RKVAC system. The practical part describes the implementation of the RKVAC system on the Android platform along with the implementation of a custom cryptographic kernel based on the native MCL cryptographic library. The practical part of this thesis describes implementation proces of RKVAC system on Android plaform, that uses native cryptographic library MCL. The final part shows the results of time, memory and computation difficulty of developed applications.
|
|
|
Web-based visualization of anonymous credential scheme
Sohr, Jakub ; Malina, Lukáš (referee) ; Dzurenda, Petr (advisor)
This thesis explores attribute based credential schemes and the cryptographic preliminaries that are the building blocks of such schemes. The main focus of this thesis is the RKVAC scheme, which is implemented and visualized. This thesis also describes the entities and protocols of the RKVAC scheme and their roles within it. The implemented web application is designed to introduce the RKVAC scheme to the public.
|
|
|
Monte Carlo Localization on a graph
Pilát, Ondřej ; Obdržálek, David (advisor) ; Iša, Jiří (referee)
This bachelor thesis concerns the Monte Carlo localization on a graph. Topics researched and solved were: movement of particles on the graph, generating particles on the edge of the graph according to the last measurements, correction from localization errors, evaluation of particles based on a different types of sensors and creation of the graph from a freely available map. The utilization of the graph as a map of environment and appropriately designed movement of particles on the graph make global localization of an autonomous robot in the environment easier. The implementation was tested on a real set of data from several autonomous robots. As a result, it was observed that movement of particles on edges of the graph well represents the movement of the robot on real paths and ensures high resistancy against senzor errors.
|
guest ::
