Author:
Comon-Lundh H.,Shmatikov V.
Cited by
75 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Contingent payments from two-party signing and verification for abelian groups;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08
2. Computing knowledge in equational extensions of subterm convergent theories;Mathematical Structures in Computer Science;2020-03-02
3. The complexity of disjunction in intuitionistic logic;Journal of Logic and Computation;2020-01
4. Pure Sequent Calculi;ACM Transactions on Computational Logic;2019-07-16
5. Dolev-Yao Theory with Associative Blindpair Operators;Implementation and Application of Automata;2019