KEVM: A Complete Semantics of the Ethereum Virtual Machine
暂无分享,去创建一个
Nishant Rodrigues | Grigore Rosu | Xiaoran Zhu | Dwight Guth | Manasvi Saxena | Philip Daian | Everett Hildenbrandt | Philip Daian | E. Hildenbrandt | M. Saxena | Xiaoran Zhu | Nishant Rodrigues | Dwight Guth | G. Rosu | G. Roşu | Everett Hildenbrandt | Grigore Roşu
[1] Grigore Rosu,et al. K-Maude: A Rewriting Based Tool for Semantics of Programming Languages , 2010, WRLA.
[2] Grigore Rosu,et al. An overview of the K semantic framework , 2010, J. Log. Algebraic Methods Program..
[3] José Meseguer. Twenty years of rewriting logic , 2012, J. Log. Algebraic Methods Program..
[4] Grigore Rosu,et al. From Hoare Logic to Matching Logic Reachability , 2012, FM.
[5] Chucky Ellison,et al. An executable formal semantics of C with applications , 2011, POPL '12.
[6] Malte Möser,et al. An inquiry into money laundering tools in the Bitcoin ecosystem , 2013, 2013 APWG eCrime Researchers Summit.
[7] Jean-Christophe Filliâtre,et al. Why3 - Where Programs Meet Provers , 2013, ESOP.
[8] Dwight Guth,et al. A formal semantics of Python 3.3 , 2013 .
[9] Eli Ben-Sasson,et al. Zerocash: Decentralized Anonymous Payments from Bitcoin , 2014, 2014 IEEE Symposium on Security and Privacy.
[10] Tom Ridge,et al. Lem: reusable engineering of real-world semantics , 2014, ICFP.
[11] Shawn Wilkinson,et al. Storj A Peer-to-Peer Cloud Storage Network , 2014 .
[12] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[13] Grigore Rosu,et al. All-Path Reachability Logic , 2014, RTA-TLCA.
[14] Gareth W. Peters,et al. Understanding Modern Banking Ledgers Through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money , 2015, ArXiv.
[15] Grigore Rosu,et al. K-Java , 2015, POPL.
[16] Chucky Ellison,et al. Defining the undefinedness of C , 2015, PLDI.
[17] Guo Li,et al. Evaluating the Potential of Alternative Cryptocurrencies , 2015 .
[18] Daejun Park,et al. KJS: a complete formal semantics of JavaScript , 2015, PLDI.
[19] Elaine Shi,et al. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab , 2016, Financial Cryptography Workshops.
[20] Grigore Rosu,et al. RV-Match: Practical Semantics-Based Program Analysis , 2016, CAV.
[21] Nikhil Swamy,et al. Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.
[22] Grigore Rosu,et al. Runtime Verification at Work: A Tutorial , 2016, RV.
[23] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[24] Grigore Rosu,et al. Semantics-based program verifiers for all languages , 2016, OOPSLA.
[25] Bryan Ford,et al. Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing , 2016, USENIX Security Symposium.
[26] Grigore Rosu,et al. Matching μ-Logic , 2017, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[27] Massimo Bartoletti,et al. A Survey of Attacks on Ethereum Smart Contracts (SoK) , 2017, POST.
[28] Yoichi Hirai,et al. Defining the Ethereum Virtual Machine for Interactive Theorem Provers , 2017, Financial Cryptography Workshops.
[29] W. Bolt. Bitcoin and Cryptocurrency Technologies : A Comprehensive Introduction , 2017 .