Cryptographic Program Obfuscation
Run the following:
autoreconf -i ./configure make sudo make install
This installs the underlying obfuscation library
libobf to your system. To
install the python front-end, proceed as follows:
cd python python2 setup.py test
This runs a bunch of test, all of which should hopefully pass.
You can then run the obfuscator by running
./obfuscator obf --test circuits/and.circ --secparam 16 -v
For any questions/comments, please e-mail amaloz at galois dot com.