Type Checker for Type System on Differential Privacy
-
Updated
Aug 31, 2017 - C
Type Checker for Type System on Differential Privacy
Tool for calculating hash collisions of the Solidity Contract Interface.
This Linux PAM is part of my bachelor thesis and adds an additional authentication factor to a login scheme (e.g. OS login)
Based on the reference implemenetation for LMS signatures, this is my own addition for bulk signing whole directories as part of my bachelor thesis
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
Source code for my Bachelor's Thesis in computer science, written at AGH University of Science and Technology
The repository for my Bachelor Thesis (Major Project - ETMJ100) TrackerBot.
Pipelined lowlevel implementation of COLM for ARM-based systems
Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers
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.
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."