SBFT: A Scalable and Decentralized Trust Infrastructure
Golan Gueta, Guy, Abraham, Ittai, Grossman, Shelly, Malkhi, Dahlia, Pinkas, Benny, Reiter, Michael, Seredinschi, Dragos-Adrian, Tamir, Orr, Tomescu, Alin
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
Desai, Ankush, Ghosh, Shromona, Seshia, Sanjit A., Shankar, Natarajan, Tiwari, Ashish
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
Understanding and Modeling On-Die Error Correction in Modern DRAM: An Experimental Study Using Real Devices
Patel, Minesh, Kim, Jeremie S., Hassan, Hasan, Mutlu, Onur
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
ML-Based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault Injection
Jha, Saurabh, Banerjee, Subho, Tsai, Timothy, Hari, Siva K. S., Sullivan, Michael B., Kalbarczyk, Zbigniew T., Keckler, Stephen W., Iyer, Ravishankar K.
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
Deep Validation: Toward Detecting Real-World Corner Cases for Deep Neural Networks
Wu, Weibin, Xu, Hui, Zhong, Sanqiang, Lyu, Michael R., King, Irwin
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
Demystifying Soft Error Assessment Strategies on ARM CPUs: Microarchitectural Fault Injection vs. Neutron Beam Experiments
Chatzidimitriou, Athanasios, Bodmann, Pablo, Papadimitriou, George, Gizopoulos, Dimitris, Rech, Paolo
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
A Multiversion Programming Inspired Approach to Detecting Audio Adversarial Examples
Zeng, Qiang, Su, Jianhai, Fu, Chenglong, Kayas, Golam, Luo, Lannan, Du, Xiaojiang, Tan, Chiu C., Wu, Jie
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
Robust Anomaly Detection on Unreliable Data
Zhao, Zilong, Cerf, Sophie, Birke, Robert, Robu, Bogdan, Bouchenak, Sara, Ben Mokhtar, Sonia, Chen, Lydia Y
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
OneFile: A Wait-Free Persistent Transactional Memory
Ramalhete, Pedro, Correia, Andreia, Felber, Pascal, Cohen, Nachshon
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger Fabric
Kang, Hui, Dai, Ting, Jean-Louis, Nerla, Tao, Shu, Gu, Xiaohui
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
Your IoTs Are (Not) Mine: On the Remote Binding Between IoT Devices and Users
Chen, Jiongyi, Zuo, Chaoshun, Diao, Wenrui, Dong, Shuaike, Zhao, Qingchuan, Sun, Menghan, Lin, Zhiqiang, Zhang, Yinqian, Zhang, Kehuan
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
1dVul: Discovering 1-Day Vulnerabilities through Binary Patches
Peng, Jiaqi, Li, Feng, Liu, Bingchang, Xu, Lili, Liu, Binghong, Chen, Kai, Huo, Wei
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
Bonsai: Efficient Fast Failover Routing Using Small Arborescences
Foerster, Klaus-Tycho, Kamisinski, Andrzej, Pignolet, Yvonne-Anne, Schmid, Stefan, Tredan, Gilles
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding
Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries
Sun, Pengfei, Garcia, Luis, Zonouz, Saman
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Published in 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (01.06.2019)
Get full text
Conference Proceeding