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
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. ,
Medrec: Using blockchain for medical data access and permission management, Open and Big Data (OBD), International Conference on, pp.25-30, 2016. ,
Cryptocurrencies without proof of work, Financial Cryptography and Data Security, vol.9604, pp.142-157, 2016. ,
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
A logical basis for component-oriented software and systems engineering, The Computer Journal, vol.53, issue.10, pp.1758-1782, 2010. ,
Sweden tests blockchain technology for land registry ,
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. ,
The bitcoin backbone protocol: Analysis and applications, Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.281-310, 2015. ,
The bitcoin backbone protocol with chains of variable difficulty, Annual International Cryptology Conference, pp.291-323, 2017. ,
Defining the ethereum virtual machine for interactive theorem provers, Int. Conference on Financial Cryptography and Data Security, pp.520-535, 2017. ,
Ethereum virtual machine for coq (v0. 0.2), 2017. ,
Proving the correctness of disk paxos. The Archive of Formal Proofs, 2005. ,
Ouroboros: A provably secure proof-ofstake blockchain protocol, Annual International Cryptology Conference, pp.357-388, 2017. ,
On activation, connection, and behavior in dynamic architectures, Scientific Annals of Computer Science, vol.26, issue.2, pp.187-248, 2016. ,
Towards a calculus for dynamic architectures, Theoretical Aspects of Computing -ICTAC 2017 -14th International Colloquium, vol.10580, pp.79-99, 2017. ,
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. ,
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. ,
A theory of architectural design patterns. Archive of Formal Proofs, 2018. ,
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum. Dissertation, 2019. ,
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. ,
Specifying properties of dynamic architectures using configuration traces, International Colloquium on Theoretical Aspects of Computing, pp.235-254, 2016. ,
Tool demonstration: Fsolidm for designing secure ethereum smart contracts, Principles of Security and Trust, pp.270-277, 2018. ,
Blockchains for business process managementchallenges and opportunities, ACM Transactions on Management Information Systems (TMIS), vol.9, issue.1, p.4, 2018. ,
A digital signature based on a conventional encryption function, Advances in Cryptology -CRYPTO '87, pp.369-378, 1988. ,
Bitcoin: A peer-to-peer electronic cash system, 2008. ,
Isabelle/HOL: a proof assistant for higher-order logic, vol.2283, 2002. ,
Analysis of the blockchain protocol in asynchronous networks, Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.643-673, 2017. ,
Mechanising blockchain consensus, Proceedings of the 7th ACM SIGPLAN Int. Conference on Certified Programs and Proofs, pp.78-90, 2018. ,
Programming and proving with distributed protocols, Proceedings of the ACM on Programming Languages, vol.2, p.28, 2017. ,
, The Bitcoin Community: The bitcoin wiki
Verdi: A framework for formally verifying distributed system implementations, Proceedings of the 2015 ACM SIGPLAN Conf. on Prog. Language Design and Implementation (PLDI), 2015. ,
Algebraic specification, Handbook of Theoretical Computer Science, pp.675-788, 1990. ,
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. ,
How blockchain fits into the future of digital identity ,
Bitcoin: Under the hood, Commun. ACM, vol.58, issue.9, pp.104-113, 2015. ,