1. SoK: Directions and Issues in Formal Verification of Payment Protocols;Lecture Notes on Data Engineering and Communications Technologies;2024
2. An Extension of Formal Analysis Method with Reasoning for Anonymity;Intelligent Information and Database Systems;2020
3. PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS;International Journal of Software Engineering and Knowledge Engineering;2010-03
4. Modeling and monitoring of E-commerce workflows;Information Sciences;2009-03
5. Rewriting Techniques in the Constraint Solver;Electronic Notes in Theoretical Computer Science;2009-03