Modeling Bitcoin Contracts by Timed Automata, FORMATS, vol.2014, pp.7-22, 2014. ,
DOI : 10.1007/978-3-319-10512-3_2
Formal analysis of SAML 2.0 web browser single sign-on, Proceedings of the 6th ACM workshop on Formal methods in security engineering, FMSE '08, 2008. ,
DOI : 10.1145/1456396.1456397
On the Security of Public Key Protocols (Extended Abstract), FOCS, vol.1981, pp.350-357, 1981. ,
ASLan++: A Formal Security Specification Language for Distributed Systems. Formal Methods for Components and Objects, pp.1-22 ,
Hierarchical Deterministic Wallets Online specification for BIP32 at https://github.com/bitcoin/bips, p.32, 2012. ,