1. Diego Ongaro and John Ousterhout , “In search of an understandable consensus algorithm (extended version) ”, 2013 . Diego Ongaro and John Ousterhout, “In search of an understandable consensus algorithm (extended version)”, 2013.
2. Proposed NIST standard for role-based access control
3. Daniel Kroening , Michael Tautschnig . CBMC-C Bounded Model Checcker//Springer. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , April 5-13, 2014, Grenoble , France . TACAS : Springer , 2014 : 389-391. Daniel Kroening, Michael Tautschnig.CBMC-C Bounded Model Checcker//Springer.International Conference on Tools and Algorithms for the Construction and Analysis of Systems, April 5-13, 2014, Grenoble, France. TACAS: Springer, 2014: 389-391.
4. Specification and Verification of the Zab Protocol with TLA+
5. Policy specification and verification for blockchain and smart contracts in 5G networks