Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
-
Updated
May 12, 2022 - C
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Based on the reference implemenetation for LMS signatures, this is my own addition for bulk signing whole directories as part of my bachelor thesis
Pipelined lowlevel implementation of COLM for ARM-based systems
Tool for calculating hash collisions of the Solidity Contract Interface.
Source code for my Bachelor's Thesis in computer science, written at AGH University of Science and Technology
This Linux PAM is part of my bachelor thesis and adds an additional authentication factor to a login scheme (e.g. OS login)
Implementation of a somewhat homomorphic encryption system using an FPGA hardware accelerator. This project was part of my bachelor's thesis at KIT and developed in four months.
Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers
The repository for my Bachelor Thesis (Major Project - ETMJ100) TrackerBot.
Type Checker for Type System on Differential Privacy
Add a description, image, and links to the bachelor-thesis topic page so that developers can more easily learn about it.
To associate your repository with the bachelor-thesis topic, visit your repo's landing page and select "manage topics."