Gregory Morse

Erlang's unique execution model allows for obfuscation tricks that go beyond simple corruption, creating a playground for novel security vulnerabilities.

Self-modifying code, long dismissed as theoretically equivalent to static code, offers a surprisingly practical path to tamper-proofing by exploiting the timing and microarchitectural nuances of modern processors.

Turing-completeness doesn't guarantee a language can faithfully emulate itself, because preserving guest-visible state like timing, memory usage, and stack traces introduces a whole new level of complexity.