Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification.

Yepeng Ding Arthur Gervais Roger Wattenhofer Hiroyuki Sato

Published in: ICSE Companion (2024)

Keyphrases

context sensitive
natural language
language model
context free
multiple task learning
model checking
spelling correction
graph grammars
information retrieval
semi supervised learning
machine learning
text classification