Author:
Baskar A.,Ramanujam R.,Suresh S. P.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification of Verifiability of Voting Protocols by Strand Space Analysis;Proceedings of the 2019 8th International Conference on Software and Computer Applications;2019-02-19
2. Dolev-Yao Theory with Associative Blindpair Operators;Implementation and Application of Automata;2019
3. A Critique of Game-Based Definitions of Receipt-Freeness for Voting;Provable Security;2019
4. Statistical Epistemic Logic;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
5. Simulations for Multi-Agent Systems with Imperfect Information;Formal Methods and Software Engineering;2019