共 50 条
- [31] Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts PRINCIPLES OF SECURITY AND TRUST, POST 2018, 2018, 10804 : 270 - 277
- [33] Secure IoT access at scale using blockchains and smart contracts 2019 IEEE 20TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), 2019,
- [35] Secure compilation of rich smart contracts on poor UTXO blockchains 9TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P 2024, 2024, : 235 - 267
- [36] Annotary: A Concolic Execution System for Developing Secure Smart Contracts COMPUTER SECURITY - ESORICS 2019, PT I, 2019, 11735 : 747 - 766
- [38] A Legal Framework for Using Smart Contracts in Consumer Contracts: Machines as Servants, Not Masters MODERN LAW REVIEW, 2023, 86 (06): : 1390 - 1421
- [39] Interpretation of Contracts and Smart Contracts: Smart Interpretation or Interpretation of Smart Contracts? EUROPEAN REVIEW OF PRIVATE LAW, 2018, 26 (06): : 773 - 785