“Automatic Security Analysis of Smart Contracts” at ICCC 2019.
“Are SE Techniques Right for AI Systems?” at AWASE 2019.
Love all, trust a few, do wrong to none.
“Automatic Security Analysis of Smart Contracts” at ICCC 2019.
“Are SE Techniques Right for AI Systems?” at AWASE 2019.