It seems to me that most security issues we hear about with that stuff are stupid memory issues, not higher level bugs.<p>Also formal methods should work better with unikernels, opening up the door for them to lead the way on proving various properties&#x2F;invariants.