Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification.

Yepeng Ding Arthur Gervais Roger Wattenhofer Hiroyuki Sato

Published in: CoRR (2024)

Keyphrases

context sensitive
multiple task learning
language model
graph grammars
natural language
context free
model checking
information security
multiword
spelling correction
training data