Skip to content

nhpcc502/MBA-Obfuscator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 

Repository files navigation

MBA Samples and MBA-Obfuscator Code for ICICS'21

MBA-Obfuscator is a tool for generating Non-linear Mixed Boolean-Arithmetic Expressions.

Prerequisties:

Python 3.6

  1. Z3 solver: pip3 install z3-solver
  2. sympy: pip3 install sympy
  3. numpy: pip3 install numpy

Structure

MBA-Obfuscator's code is in "mba_obfuscator" folder, MBA-Obfuscator's output samples are in "samples" folder.

samples

The files storing non-linear MBA expressions.

  1. Polynomial MBA expressions are in ground.linear.poly.txt
  2. Non-Polynomial MBA expressions are in ground.linear.nonpoly.txt

mba-obfuscator

MBA expression generation's code are in "mba_obfuscator" folder.

License

This is published under a MIT license (see LICENSE)

Contact

For any issue, do not hesitate to open an issue/create a pull request on Github.

About

Non-linear Mixed Boolean-Arithmetic Expressions

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages