activity
20192022
most citedAdversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

54 citations · 119 across the 8 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

cs.SE2019★ 16 cited

Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures

Jiaming Ye, Mingliang Ma, Yun Lin +3

Recent years have seen smart contracts are getting increasingly popular in building trustworthy decentralized applications. Previous research has proposed static and dynamic techni…