search

GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46 stars 14 forks source link

research other kinds of smart validation #29

Open kiniry opened 10 years ago

kiniry commented 10 years ago

Including, e.g., concolic test generation, fuzzing, symbol evaluation to generate tests a la PEX, etc.