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

Konrad Weiss, Julian Schtte

Browse the full ESORICS paper archive.