356 citations · 457 across the 23 of their papers we have counts for
5 papers · 1 filter
One Bad Apple Spoils the Bunch: Transaction DoS in MimbleWimble Blockchains
Seyed Ali Tabatabaee, Charlene Nicer, Ivan Beschastnikh +1
As adoption of blockchain-based systems grows, more attention is being given to privacy of these systems. Early systems like BitCoin provided few privacy features. As a result, sys…
Generalizing Neural Networks by Reflecting Deviating Data in Production
Yan Xiao, Yun Lin, Ivan Beschastnikh +3
Trained with a sufficiently large training and testing dataset, Deep Neural Networks (DNNs) are expected to generalize. However, inputs may deviate from the training dataset distri…
Linear-time Temporal Logic guided Greybox Fuzzing
Ruijie Meng, Zhen Dong, Jialin Li +2
Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique,…
Self-Checking Deep Neural Networks in Deployment
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum +4
The widespread adoption of Deep Neural Networks (DNNs) in important domains raises questions about the trustworthiness of DNN outputs. Even a highly accurate DNN will make mistakes…
Dissecting the Performance of Chained-BFT
Fangyu Gai, Ali Farahbakhsh, Jianyu Niu +3
Permissioned blockchains employ Byzantine fault-tolerant (BFT) state machine replication (SMR) to reach agreement on an ever-growing, linearly ordered log of transactions. A new pa…