This repository contains the source code for a Linux-based prototype of Midas (website, paper). The prototype is based on the paper Midas: Systematic Kernel TOCTTOU Protection accepted for publication at the 31st Usenix Security Symposium, 2022.
More information about building, running and testing the kernel may be found on the linked website.