ALICE: Automated-instrumentation of Legacy Insecure Cryptographic Executables

Principal Investigator of the Automated-instrumentation of Legacy Insecure Cryptographic Executables (ALICE) project.

ALICE focus on the development of new tools and techniques for automatic patching of crypto-graphic code in binary executables with verified assembly implementations.

Link to ALICE project

Link to ALICE repository