206 citations · 246 across the 18 of their papers we have counts for
3 papers · 1 filter
How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection
Asem Ghaleb, Karthik Pattabiraman
Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover…
TensorFI: A Flexible Fault Injection Framework for TensorFlow Applications
Zitao Chen, Niranjhana Narayanan, Bo Fang +3
As machine learning (ML) has seen increasing adoption in safety-critical domains (e.g., autonomous vehicles), the reliability of ML systems has also grown in importance. While prio…
A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction
Zitao Chen, Guanpeng Li, Karthik Pattabiraman
The adoption of deep neural networks (DNNs) in safety-critical domains has engendered serious reliability concerns. A prominent example is hardware transient faults that are growin…