Annotary: A Concolic Execution System for Developing Secure Smart Contracts.

Konrad Weiss Julian Schütte

Published in: CoRR (2019)

Keyphrases

real time
supply chain
data management
lightweight
security issues
cryptographic protocols
concurrent execution