5 papers
Erlang Binary and Source Code Obfuscation
Gregory Morse, Tamás Kozsik
This paper studies obfuscation techniques for Erlang programs at the source, abstract syntax tree, BEAM assembly, and BEAM bytecode levels. We focus on transformations that complic…
Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
Gregory Morse, Tamás Kozsik
Loop nesting forests (LNFs) are a fundamental abstraction for reasoning about control-flow structure, enabling applications such as compiler optimizations, program analysis, and do…
Tamper-Proofing with Self-Modifying Code
Gregory Morse, Tamás Kozsik
Classical computability theory tells us that self-modifying code (SMC) on a deterministic universal Turing machine can be simulated by non-SMC code on the same model. That abstract…
Fully Dynamic Breadth First Search and Spanning Trees in Directed Graphs
Gregory Morse, Tamás Kozsik
We study the problem of maintaining a breadth-first spanning tree and the induced BFS ordering in a directed graph under edge updates. While semi-dynamic algorithms are known, main…
A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions
Gregory Morse, Tamás Kozsik, Oskar Mencer +1
We aim to advance the state-of-the-art in Quadratic Unconstrained Binary Optimization formulation with a focus on cryptography algorithms. As the minimal QUBO encoding of the linea…