T. Abdellatif and K. Brousmiche, Formal verification of smart contracts based on users and blockchain behaviors models, 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp.1-5, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01760787

S. Amani, M. Bégel, M. Bortin, and M. Staples, Towards verifying ethereum smart contract bytecode in isabelle/hol, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp.66-77, 2018.

A. Azaria, A. Ekblaw, T. Vieira, and A. Lippman, Medrec: Using blockchain for medical data access and permission management, Open and Big Data (OBD), International Conference on, pp.25-30, 2016.

I. Bentov, A. Gabizon, A. Mizrahi, J. Clark, S. Meiklejohn et al., Cryptocurrencies without proof of work, Financial Cryptography and Data Security, vol.9604, pp.142-157, 2016.

K. Bhargavan, A. Delignat-lavaud, C. Fournet, A. Gollamudi, G. Gonthier et al., Formal verification of smart contracts: Short paper, Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pp.91-96, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01400469

M. Broy, A logical basis for component-oriented software and systems engineering, The Computer Journal, vol.53, issue.10, pp.1758-1782, 2010.

G. Chavez-dreyfuss, Sweden tests blockchain technology for land registry

C. Dr?goi, T. A. Henzinger, and D. Zufferey, Psync: A partially synchronous language for faulttolerant distributed algorithms, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.400-415, 2016.

J. Garay, A. Kiayias, and N. Leonardos, The bitcoin backbone protocol: Analysis and applications, Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.281-310, 2015.

J. Garay, A. Kiayias, and N. Leonardos, The bitcoin backbone protocol with chains of variable difficulty, Annual International Cryptology Conference, pp.291-323, 2017.

Y. Hirai, Defining the ethereum virtual machine for interactive theorem provers, Int. Conference on Financial Cryptography and Data Security, pp.520-535, 2017.

Y. Hirai, Ethereum virtual machine for coq (v0. 0.2), 2017.

M. Jaskelioff and S. Merz, Proving the correctness of disk paxos. The Archive of Formal Proofs, 2005.

A. Kiayias, A. Russell, B. David, and R. Oliynykov, Ouroboros: A provably secure proof-ofstake blockchain protocol, Annual International Cryptology Conference, pp.357-388, 2017.

D. Marmsoler and M. Gleirscher, On activation, connection, and behavior in dynamic architectures, Scientific Annals of Computer Science, vol.26, issue.2, pp.187-248, 2016.

D. Marmsoler, Towards a calculus for dynamic architectures, Theoretical Aspects of Computing -ICTAC 2017 -14th International Colloquium, vol.10580, pp.79-99, 2017.

D. Marmsoler, A framework for interactive verification of architectural design patterns in isabelle/hol, 20th Int. Conf. on Formal Engineering Methods, vol.11232, pp.251-269, 2018.

D. Marmsoler, Hierarchical specication and verication of architecture design patterns, Fundamental Approaches to Software Engineering -21th Int. Conf., FASE 2018, Held as Part of the Euro. Joint Conf. on Theory and Practice of Software, 2018.

D. Marmsoler, A theory of architectural design patterns. Archive of Formal Proofs, 2018.

D. Marmsoler, Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum. Dissertation, 2019.

D. Marmsoler and H. K. Gidey, FACTUM Studio: A tool for the axiomatic specification and verification of architectural design patterns, Formal Aspects of Component Software -FACS 2018 -15th International Conference, Proceedings, 2018.

D. Marmsoler and M. Gleirscher, Specifying properties of dynamic architectures using configuration traces, International Colloquium on Theoretical Aspects of Computing, pp.235-254, 2016.

A. Mavridou and A. Laszka, Tool demonstration: Fsolidm for designing secure ethereum smart contracts, Principles of Security and Trust, pp.270-277, 2018.

J. Mendling, I. Weber, W. V. Aalst, J. V. Brocke, C. Cabanillas et al., Blockchains for business process managementchallenges and opportunities, ACM Transactions on Management Information Systems (TMIS), vol.9, issue.1, p.4, 2018.

R. C. Merkle, A digital signature based on a conventional encryption function, Advances in Cryptology -CRYPTO '87, pp.369-378, 1988.

S. Nakamoto, Bitcoin: A peer-to-peer electronic cash system, 2008.

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL: a proof assistant for higher-order logic, vol.2283, 2002.

R. Pass, L. Seeman, and A. Shelat, Analysis of the blockchain protocol in asynchronous networks, Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.643-673, 2017.

G. Pîrlea and I. Sergey, Mechanising blockchain consensus, Proceedings of the 7th ACM SIGPLAN Int. Conference on Certified Programs and Proofs, pp.78-90, 2018.

I. Sergey, J. R. Wilcox, and Z. Tatlock, Programming and proving with distributed protocols, Proceedings of the ACM on Programming Languages, vol.2, p.28, 2017.

, The Bitcoin Community: The bitcoin wiki

J. R. Wilcox, D. Woos, P. Panchekha, Z. Tatlock, X. Wang et al., Verdi: A framework for formally verifying distributed system implementations, Proceedings of the 2015 ACM SIGPLAN Conf. on Prog. Language Design and Implementation (PLDI), 2015.

M. Wirsing, Algebraic specification, Handbook of Theoretical Computer Science, pp.675-788, 1990.

D. Woos, J. R. Wilcox, S. Anton, Z. Tatlock, M. D. Ernst et al., Planning for change in a formal verification of the raft consensus protocol, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, pp.154-165, 2016.

B. Yurcan, How blockchain fits into the future of digital identity

A. Zohar, Bitcoin: Under the hood, Commun. ACM, vol.58, issue.9, pp.104-113, 2015.