Explore projects
-
This repository contains initial prototype implementation of providing privacy and security to how medical researchers interact with participant via ZorgTTP.
Updated -
program-verification / Course 2024 2025
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Updated
-
-
Updated
-
-
-
Here I will start working on Bharat's code for my thesis.
Updated -
program-verification / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Marijn van Wezel / course-2023-2024
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Laura Kolijn / PostGuardSurf
MIT LicenseUpdated -
Updated
-
Updated
-
Updated