Author:
Anantharaman Siva,Lin Hai,Lynch Christopher,Narendran Paliath,Rusinowitch Michael
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Local XOR Unification: Definitions, Algorithms and Application to Cryptography;Lecture Notes in Computer Science;2022
2. Bounded ACh unification;Mathematical Structures in Computer Science;2020-06
3. Finding Intruder Knowledge with Cap-Matching;Foundations of Security, Protocols, and Equational Reasoning;2019
4. Theories of Homomorphic Encryption, Unification, and the Finite Variant Property;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014
5. Unification Modulo Chaining;Language and Automata Theory and Applications;2012