User contributions
- 13:16, 10 August 2022 (diff | hist) . . (+914) . . N Algorithms for testing equivalence (Created page with "== Testing EA-equivalence<ref name="Kaleyski">Kaleyski. (2021). Deciding EA-equivalence via invariants. Cryptography and Communications, 14(2), 271–290. https://doi.org/10.1...") (current)