CuraSec

tag: Formal-Verification · 2 items

Learn SeL4 security proofs now complete on AArch64
2026-08-26 · HN (security) · source ↗ #formal-verification#microkernel#embedded-security
  • Engineer — Learn: SeL4’s completed formal correctness and security proofs on AArch64 matter for teams designing high-assurance system architectures; no immediate patch or config change required, but worth tracking if you’re evaluating hypervisors or TEE substrates.
  • SOC/IR — Skip
  • Leader — Learn: Formal proof completion for a widely-cited secure microkernel strengthens the case for verified-OS investments in high-assurance or regulated environments; relevant background for future architecture or vendor-risk conversations.
Learn archived Formal Verification of Noise Flooding Security in Homomorphic Encryption
2026-08-17 · arXiv cs.CR · source ↗ #homomorphic-encryption#cryptography#formal-verification
  • Engineer — Learn: This research tightens the security proof for noise flooding in approximate FHE schemes, showing the correct parameter bound is sqrt(qn)/2γ rather than linear in q. Relevant if you deploy or evaluate FHE libraries, but no immediate patching or configuration action needed.
  • SOC/IR — Skip
  • Leader — Skip