Similar Items: Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
- On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
- Improved Biclique Cryptanalysis of the Lightweight Cipher FUTURE
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
- Exact Unification and Admissibility