Technique to estimate the entropy of programs using symbolic execution. Subject of my MS thesis.
Primary LanguagePython