#formal-methods

4 pages search “formal-methods” ↳ all tags

Wiki 4

  • A Crash Course in Predicate Logic Hillel Wayne's free chapter of Logic for Programmers: predicates, implication, sets, quantifiers and rewrite rules in programmer syntax
  • A Tale of Two Worlds — Hybrid-WireGuard Lafourcade et al. (USENIX Security 2025) formally analyze PQ-WireGuard, fix it, and propose a hybrid variant with formal proofs in SAPIC+ (ProVerif/Tamarin/DeepSec) and a Rust implementation
  • Ability-guarantee tradeoff The more a language, format or tool can do, the fewer things it guarantees: Hillel Wayne's name for the tradeoff behind safe subsets
  • Neurosymbolic AI Combining LLMs with symbolic solvers for language understanding plus exhaustive correctness