sf

CDF is a tool to automatically attempt the correctness in addition to safety of cryptographic software. CDF tin dismiss observe implementation errors, compliance failures, side-channel leaks, in addition to thus on. CDF implements a combination of unit of measurement tests amongst "differential fuzzing", an approach that compares the demeanor of unlike implementations of the same primitives when fed border cases in addition to values maximizing the code coverage. Unlike general-purpose fuzzers in addition to testing software, CDF is: Smart : CDF knows what form of algorithm it's testing in addition to adapts to the tested functions Fast : CDF tests alone what needs to last tested in addition to parallelizes its tests equally much equally possible Polyvalent : CDF isn't specific to whatever linguistic communication or API, but supports arbitrary executable programs or scripts Portable : CDF volition run on whatever Unix or Windows platfor...