User contributions

Jump to: navigation, search
Search for contributions
 
 
      
 
   

  • 14: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)