Refactoring the FreeBSD kernel with Checked C Published in 2020 IEEE Secure Development (SecDev), 2020 Share on Twitter Facebook LinkedIn
