1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Adriana Nicolae, Paul Irofti, Ioana Leustean
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from…