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

Konrad Weiss Julian Schütte

Published in: ESORICS (1) (2019)

Keyphrases

database
execution model
information systems
security analysis
databases
neural network
genetic algorithm
decision making
security level