Skip to content

Compiler from pseudo-c to assembly which guarantees that the instructions performed do not depend on private data. To achieve universality of computation, we use the function "choice(b,x,y)" to denote an equivalent to "if b then x else y".

Notifications You must be signed in to change notification settings

Lightveil/Instruction-invariant-compiler

Repository files navigation

Instruction-invariant-compiler

Generates a compiler from pseudo-c to assembly language which guarantees that the instructions performed do not depend on the code.

About

Compiler from pseudo-c to assembly which guarantees that the instructions performed do not depend on private data. To achieve universality of computation, we use the function "choice(b,x,y)" to denote an equivalent to "if b then x else y".

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published