Algebraic Systems develops cutting-edge software for cryptography, security, formal verification, and other related domains. Most of our research is independent and proprietary, but some software will be open sourced if it proves generally useful.
For information about our research or to inquire about development and consulting services, please contact us at [email protected].