Yes, but the various HW bugs and exploits, e.g cache leaks and poisoning - Spectre, Meltdown, ..., are not handled. Also not in the mentioned and formally prov

Yes, but the various HW bugs and exploits, e.g cache leaks and poisoning - Spectre, Meltdown, ..., are not handled. Also not in the mentioned and formally proven crypto libs.