3 code implementations • 18 Nov 2020 • Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts, Alexander Novikov, Darya Parygina, Eli Kobrin, Vlada Logunova, Pavel Belecky, Shamil Kurmangaleev
Sydr performs inversion of branches in path predicate.
Cryptography and Security