1. Gilad Asharov and Yehuda Lindell. 2009. Utility Dependence in Correct and Fair Rational Secret Sharing. Cryptology ePrint Archive. https://eprint.iacr.org/2009/373
2. Clark Barrett and Cesare Tinelli. 2018. Satisfiability Modulo Theories. In Handbook of Model Checking. Springer, UC Berkeley, 305--343.
3. Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
4. Lea Salome Brugger, Laura Kovács, Anja Petković Komel, Sophie Rain, and Michael Rawson. EasyChair, 2023. CheckMate: Automated Game-Theoretic Security Reasoning. EasyChair Preprint no. 10853.
5. Krishnendu Chatterjee, Amir Goharshady, and Arash Pourdamghani. 2019. Probabilistic Smart Contracts: Secure Randomness on the Blockchain. In 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, Seoul, South Korea, 403--412.