Abusing the Ethereum Smart Contract Verification Services for Fun and Profit.
Pengxiang MaNingyu HeYuhua HuangHaoyu WangXiapu LuoPublished in: CoRR (2023)
Keyphrases
- service level agreements
- location aware
- service oriented
- service providers
- web services
- ubiquitous environments
- smart environments
- smart spaces
- service discovery
- decision making
- context aware
- service composition
- ubiquitous computing
- information services
- model checking
- end users
- smart objects
- service oriented architecture
- supply chain
- access control
- user centric
- ambient intelligence
- formal verification
- multi agent systems
- enabling technologies
- cloud computing