Open Research Index

Control flow obfuscation with irreducible loops and self-modifying code

Gregory Morse

Palomar Registrypalomar/PALOMAR-2026-10-23-000008Oct 23, 2026cs.CRscore 0

Lean 4 development (no Mathlib) of the mathematics, algorithms and security statements of Morse, Alqaradaghi and Kozsik, "Control flow obfuscation with irreducible loops and self-modifying code": a self-modifying-code solver for 2-SAT and the planted instance generator as an algorithm, the extremal numbers of irreducible loops and multiple-entry edges (the families Kn and Mn), the irreducible-loop transformations of Figures 5 and 6, the Boolean control-flow graphs of AES, and the security statements of Section 5.1 relative to an explicit structural threat model. Two Challenges are submitted…

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-23-000008
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-23-000008/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-23-000008/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'