HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Program Verification with F* (2017)
prosecco.gforge.inria.fr
3 comments
8 years ago
adgasf
95 points
2.
▲
The Quest for Formally Secure Compartmentalizing Compilation [pdf]
prosecco.gforge.inria.fr
discuss
7 years ago
based2
2 points