Search results for "DSN"

Hits ?▲	Authors	Title	Venue	Year	Link
37	Atieh Lotfi, Nirmal R. Saxena, Richard Bramley, Paul Racunas, Philip P. Shirvani	Low Overhead Tag Error Mitigation for GPU Architectures.	DSN	2018	DBLP DOI BibTeX RDF
37	Pinyao Guo, Hunmin Kim, Nurali Virani, Jun Xu 0024, Minghui Zhu, Peng Liu 0005	RoboADS: Anomaly Detection Against Sensor and Actuator Misbehaviors in Mobile Robots.	DSN	2018	DBLP DOI BibTeX RDF
37	Guanpeng Li, Karthik Pattabiraman, Siva Kumar Sastry Hari, Michael B. Sullivan 0001, Timothy Tsai 0002	Modeling Soft-Error Propagation in Programs.	DSN	2018	DBLP DOI BibTeX RDF
37	Christopher Michael Bailey, Rogério de Lemos	Evaluating Self-Adaptive Authorisation Infrastructures Through Gamification.	DSN	2018	DBLP DOI BibTeX RDF
37	Zhilong Wang, Xuhua Ding, Chengbin Pang, Jian Guo, Jun Zhu, Bing Mao	To Detect Stack Buffer Overflow with Polymorphic Canaries.	DSN	2018	DBLP DOI BibTeX RDF
37	Subho S. Banerjee, Saurabh Jha, James Cyriac, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer	Hands Off the Wheel in Autonomous Vehicles?: A Systems Perspective on over a Million Miles of Field Data.	DSN	2018	DBLP DOI BibTeX RDF
37	Meisam Navaki Arefi, Geoffrey Alexander, Hooman Rokham, Aokun Chen, Michalis Faloutsos, Xuetao Wei, Daniela Seabra Oliveira, Jedidiah R. Crandall	FAROS: Illuminating In-memory Injection Attacks via Provenance-Based Whole-System Dynamic Information Flow Tracking.	DSN	2018	DBLP DOI BibTeX RDF
37	Rohan Garg 0001, Tirthak Patel, Gene Cooperman, Devesh Tiwari	Shiraz: Exploiting System Reliability and Application Resilience Characteristics to Improve Large Scale System Throughput.	DSN	2018	DBLP DOI BibTeX RDF
37	Amy Babay, Thomas Tantillo, Trevor Aron, Marco Platania, Yair Amir	Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid.	DSN	2018	DBLP DOI BibTeX RDF
37	Subhash Lakshminarayana, David K. Y. Yau	Cost-Benefit Analysis of Moving-Target Defense in Power Grids.	DSN	2018	DBLP DOI BibTeX RDF
37	Ilya Tuzov, David de Andrés, Juan Carlos Ruiz	DAVOS: EDA Toolkit for Dependability Assessment, Verification, Optimisation and Selection of Hardware Models.	DSN	2018	DBLP DOI BibTeX RDF
37	Kristina Spirovska, Diego Didona, Willy Zwaenepoel	Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store.	DSN	2018	DBLP DOI BibTeX RDF
37	Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic	Specification-Based Protocol Obfuscation.	DSN	2018	DBLP DOI BibTeX RDF
37	Fritz Alder, Arseny Kurnikov, Andrew Paverd, N. Asokan	Migrating SGX Enclaves with Persistent State.	DSN	2018	DBLP DOI BibTeX RDF
37	Sadegh Torabi, Elias Bou-Harb, Chadi Assi, Mario Galluscio, Amine Boukhtouta, Mourad Debbabi	Inferring, Characterizing, and Investigating Internet-Scale Malicious IoT Device Activities: A Network Telescope Perspective.	DSN	2018	DBLP DOI BibTeX RDF
37	Bing Chang, Fengwei Zhang, Bo Chen, Yingjiu Li, Wen Tao Zhu, Yangguang Tian, Zhan Wang, Albert Ching	MobiCeal: Towards Secure and Practical Plausibly Deniable Encryption on Mobile Devices.	DSN	2018	DBLP DOI BibTeX RDF
37	Sam Ainsworth 0001, Timothy M. Jones 0001	Parallel Error Detection Using Heterogeneous Cores.	DSN	2018	DBLP DOI BibTeX RDF
37	Guanpeng Li, Karthik Pattabiraman	Modeling Input-Dependent Error Propagation in Programs.	DSN	2018	DBLP DOI BibTeX RDF
37	Lin Jin, Shuai Hao 0001, Haining Wang, Chase Cotton	Your Remnant Tells Secret: Residual Resolution in DDoS Protection Services.	DSN	2018	DBLP DOI BibTeX RDF
37	Jonathan Behrens, Sagar Jha, Ken Birman, Edward Tremel	RDMC: A Reliable RDMA Multicast for Large Objects.	DSN	2018	DBLP DOI BibTeX RDF
37	Cyrille Jégourel, Jingyi Wang 0004, Jun Sun 0001	Importance Sampling of Interval Markov Chains.	DSN	2018	DBLP DOI BibTeX RDF
37	Tomas Hlavacek, Amir Herzberg, Haya Schulmann, Michael Waidner	Practical Experience: Methodologies for Measuring Route Origin Validation.	DSN	2018	DBLP DOI BibTeX RDF
37	Francisco Neves, Nuno Machado, José Pereira 0001	Falcon: A Practical Log-Based Analysis Tool for Distributed Systems.	DSN	2018	DBLP DOI BibTeX RDF
37	Catello Di Martino, Ugo Giordano, Nishok Mohanasamy, Stefano Russo 0001, Marina Thottan	In Production Performance Testing of SDN Control Plane for Telecom Operators.	DSN	2018	DBLP DOI BibTeX RDF
37	Christian Wressnegger, Ansgar Kellner, Konrad Rieck	ZOE: Content-Based Anomaly Detection for Industrial Control Systems.	DSN	2018	DBLP DOI BibTeX RDF
37	André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves 0001	On the Challenges of Building a BFT SCADA.	DSN	2018	DBLP DOI BibTeX RDF
37	Vinicius Fratin, Daniel Oliveira 0002, Caio B. Lunardi, Fernando Santos 0001, Gennaro Severino Rodrigues, Paolo Rech	Code-Dependent and Architecture-Dependent Reliability Behaviors.	DSN	2018	DBLP DOI BibTeX RDF
37	Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, Junfeng Yang	OWL: Understanding and Detecting Concurrency Attacks.	DSN	2018	DBLP DOI BibTeX RDF
37	Sangwoo Kim, Seokmyung Hong, Jaesang Oh, Heejo Lee	Obfuscated VBA Macro Detection Using Machine Learning.	DSN	2018	DBLP DOI BibTeX RDF
37	Simon Bouget, Yérom-David Bromberg, Adrien Luxey, François Taïani	Pleiades: Distributed Structural Invariants at Scale.	DSN	2018	DBLP DOI BibTeX RDF
37	Richard Skowyra, Lei Xu 0024, Guofei Gu, Veer Dedhia, Thomas Hobson, Hamed Okhravi, James Landry	Effective Topology Tampering Attacks and Defenses in Software-Defined Networks.	DSN	2018	DBLP DOI BibTeX RDF
37	Bin Nie, Ji Xue, Saurabh Gupta 0002, Tirthak Patel, Christian Engelmann, Evgenia Smirni, Devesh Tiwari	Machine Learning Models for GPU Error Prediction in a Large Scale HPC System.	DSN	2018	DBLP DOI BibTeX RDF
37	Konstantinos Parasyris, Panos K. Koutsovasilis, Vassilis Vassiliadis, Christos D. Antonopoulos, Nikolaos Bellas, Spyros Lalis	A Framework for Evaluating Software on Reduced Margins Hardware.	DSN	2018	DBLP DOI BibTeX RDF
37	Zhenqi Huang, Sriharsha Etigowni, Luis Garcia 0001, Sayan Mitra, Saman A. Zonouz	Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures.	DSN	2018	DBLP DOI BibTeX RDF
37	Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao, Tao Xie 0001	PreInfer: Automatic Inference of Preconditions via Symbolic Analysis.	DSN	2018	DBLP DOI BibTeX RDF
37	Zhenyu Ning, Fengwei Zhang	DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis.	DSN	2018	DBLP DOI BibTeX RDF
37	Vero Estrada-Galiñanes, Ethan L. Miller, Pascal Felber, Jehan-François Pâris	Alpha Entanglement Codes: Practical Erasure Codes to Archive Data in Unreliable Environments.	DSN	2018	DBLP DOI BibTeX RDF
37	Antoine Boutet, Florestan De Moor, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Antoine Rault	Collaborative Filtering Under a Sybil Attack: Similarity Metrics do Matter!	DSN	2018	DBLP DOI BibTeX RDF
37	Kun Xie 0001, Heng Tao, Xin Wang 0001, Gaogang Xie, Jigang Wen, Jiannong Cao 0001, Zheng Qin 0001	Divide and Conquer for Fast SRLG Disjoint Routing.	DSN	2018	DBLP DOI BibTeX RDF
37	Kai Cheng, Qiang Li 0007, Lei Wang, Qian Chen, Yaowen Zheng, Limin Sun, Zhenkai Liang	DTaint: Detecting the Taint-Style Vulnerability in Embedded Device Firmware.	DSN	2018	DBLP DOI BibTeX RDF
37	Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu 0013	Branching Bisimulation and Concurrent Object Verification.	DSN	2018	DBLP DOI BibTeX RDF
37	Peter Buchholz 0001, Tugrul Dayar	Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets.	DSN	2018	DBLP DOI BibTeX RDF
37	Jia Chen, Ge Han, Shanqing Guo, Wenrui Diao	FragDroid: Automated User Interface Interaction with Activity and Fragment Analysis in Android Applications.	DSN	2018	DBLP DOI BibTeX RDF
37		47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017	DSN	2017	DBLP BibTeX RDF
37	Jinyu Gu 0001, Zhichao Hua 0001, Yubin Xia, Haibo Chen 0001, Binyu Zang, Haibing Guan, Jinming Li	Secure Live Migration of SGX Enclaves on Untrusted Cloud.	DSN	2017	DBLP DOI BibTeX RDF
37	Yvonne-Anne Pignolet, Stefan Schmid 0001, Gilles Trédan	Load-Optimal Local Fast Rerouting for Resilient Networks.	DSN	2017	DBLP DOI BibTeX RDF
37	Yeonjoon Lee, Tongxin Li, Nan Zhang 0018, Soteris Demetriou, Mingming Zha, XiaoFeng Wang 0001, Kai Chen 0012, Xiao-yong Zhou, Xinhui Han, Michael Grace	Ghost Installer in the Shadow: Security Analysis of App Installation on Android.	DSN	2017	DBLP DOI BibTeX RDF
37	Rainer Schiekofer, Johannes Behl, Tobias Distler	Agora: A Dependable High-Performance Coordination Service for Multi-cores.	DSN	2017	DBLP DOI BibTeX RDF
37	Behrooz Sangchoolie, Karthik Pattabiraman, Johan Karlsson	One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors.	DSN	2017	DBLP DOI BibTeX RDF
37	Amin Jadidi, Mohammad Arjomand, Mohammad Khavari Tavana, David R. Kaeli, Mahmut T. Kandemir, Chita R. Das	Exploring the Potential for Collaborative Data Compression and Hard-Error Tolerance in PCM Memories.	DSN	2017	DBLP DOI BibTeX RDF
37	Zhili Chen, Lin Chen 0002, Hong Zhong 0001	Towards Secure and Verifiable Database-Driven Spectrum Sharing.	DSN	2017	DBLP DOI BibTeX RDF
37	Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Christof Fetzer	Fex: A Software Systems Evaluator.	DSN	2017	DBLP DOI BibTeX RDF
37	Yuan Yao 0004, Bin Xiao 0001, Gaofei Wu, Xue Liu 0001, Zhiwen Yu 0001, Kailong Zhang, Xingshe Zhou 0001	Voiceprint: A Novel Sybil Attack Detection Method Based on RSSI for VANETs.	DSN	2017	DBLP DOI BibTeX RDF
37	Qixue Xiao, Yu Chen 0004, Chengang Wu, Kang Li 0001, Junjie Mao, Shize Guo, Yuanchun Shi	pbSE: Phase-Based Symbolic Execution.	DSN	2017	DBLP DOI BibTeX RDF
37	Varun Badrinath Krishna, Michael J. Rausch, Benjamin E. Ujcich, Indranil Gupta, William H. Sanders	REMAX: Reachability-Maximizing P2P Detection of Erroneous Readings in Wireless Sensor Networks.	DSN	2017	DBLP DOI BibTeX RDF
37	Rachid Guerraoui, Anne-Marie Kermarrec, Rhicheek Patra, Mahammad Valiyev, Jingjing Wang 0007	I Know Nothing about You But Here is What You Might Like.	DSN	2017	DBLP DOI BibTeX RDF
37	Wei-Han Lee, Ruby B. Lee	Sensor-Based Implicit Authentication of Smartphone Users.	DSN	2017	DBLP DOI BibTeX RDF
37	Daiping Liu, Xing Gao 0001, Mingwei Zhang 0005, Haining Wang, Angelos Stavrou	Detecting Passive Cheats in Online Games via Performance-Skillfulness Inconsistency.	DSN	2017	DBLP DOI BibTeX RDF
37	Marcus Brandenburger, Christian Cachin, Matthias Lorenz, Rüdiger Kapitza	Rollback and Forking Detection for Trusted Execution Environments Using Lightweight Collective Memory.	DSN	2017	DBLP DOI BibTeX RDF
37	Laurent Chuat, Adrian Perrig, Yih-Chun Hu	Deadline-Aware Multipath Communication: An Optimization Problem.	DSN	2017	DBLP DOI BibTeX RDF
37	Yacong Gu, Kun Sun 0001, Purui Su, Qi Li 0002, Yemian Lu, Lingyun Ying, Dengguo Feng	JGRE: An Analysis of JNI Global Reference Exhaustion Vulnerabilities in Android.	DSN	2017	DBLP DOI BibTeX RDF
37	Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste	Secure Tera-scale Data Crunching with a Small TCB.	DSN	2017	DBLP DOI BibTeX RDF
37	Zhengyang Qu, Shahid Alam, Yan Chen 0004, Xiaoyong Zhou, Wangjun Hong, Ryan D. Riley	DyDroid: Measuring Dynamic Code Loading and Its Security Implications in Android Applications.	DSN	2017	DBLP DOI BibTeX RDF
37	Meng Wang, Huixiang Chen 0001, Tao Li 0006	Reducing the "Tax" of Reliability: A Hardware-Aware Method for Agile Data Persistence in Mobile Devices.	DSN	2017	DBLP DOI BibTeX RDF
37	William H. Hawkins, Jason D. Hiser, Michele Co, Anh Nguyen-Tuong, Jack W. Davidson	Zipr: Efficient Static Binary Rewriting for Security.	DSN	2017	DBLP DOI BibTeX RDF
37	Julia Lawall, Gilles Muller	JMake: Dependable Compilation for Kernel Janitors.	DSN	2017	DBLP DOI BibTeX RDF
37	Benjamin E. Ujcich, Uttam Thakore, William H. Sanders	ATTAIN: An Attack Injection Framework for Software-Defined Networking.	DSN	2017	DBLP DOI BibTeX RDF
37	Marcello Cinque, Raffaele Della Corte, Antonio Pecchia	Entropy-Based Security Analytics: Measurements from a Critical Information System.	DSN	2017	DBLP DOI BibTeX RDF
37	Paulo R. Coelho, Nicolas Schiper, Fernando Pedone	Fast Atomic Multicast.	DSN	2017	DBLP DOI BibTeX RDF
37	Carina Pilch, Anne Remke	Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.	DSN	2017	DBLP DOI BibTeX RDF
37	Birhanu Eshete, V. N. Venkatakrishnan	DynaMiner: Leveraging Offline Infection Analytics for On-the-Wire Malware Detection.	DSN	2017	DBLP DOI BibTeX RDF
37	Jinkyu Koo, Xiaojun Lin 0001, Saurabh Bagchi	RL-BLH: Learning-Based Battery Control for Cost Savings and Privacy Preservation for Smart Meters.	DSN	2017	DBLP DOI BibTeX RDF
37	Yan Liu, Yue Wu, Zbigniew Kalbarczyk	Smart Maintenance via Dynamic Fault Tree Analysis: A Case Study on Singapore MRT System.	DSN	2017	DBLP DOI BibTeX RDF
37	Jinyuan Jia, Binghui Wang, Neil Zhenqiang Gong	Random Walk Based Fake Account Detection in Online Social Networks.	DSN	2017	DBLP DOI BibTeX RDF
37	Rui Qiao 0002, R. Sekar 0001	Function Interface Analysis: A Principled Approach for Function Recognition in COTS Binaries.	DSN	2017	DBLP DOI BibTeX RDF
37	Fan Yao, Yongbo Li, Yurong Chen 0005, Hongfa Xue, Tian Lan, Guru Venkataramani	StatSym: Vulnerable Path Discovery through Statistics-Guided Symbolic Execution.	DSN	2017	DBLP DOI BibTeX RDF
37	Wei-Han Lee, Ruby B. Lee	Implicit Smartphone User Authentication with Sensors and Contextual Machine Learning.	DSN	2017	DBLP DOI BibTeX RDF
37	Guosai Wang, Lifei Zhang, Wei Xu	What Can We Learn from Four Years of Data Center Hardware Failures?	DSN	2017	DBLP DOI BibTeX RDF
37	Xing Gao 0001, Zhongshu Gu, Mehmet Kayaalp 0001, Dimitrios Pendarakis, Haining Wang	ContainerLeaks: Emerging Security Threats of Information Leakages in Container Clouds.	DSN	2017	DBLP DOI BibTeX RDF
37	Ilya Tuzov, David de Andrés, Juan Carlos Ruiz	Dependability-Aware Design Space Exploration for Optimal Synthesis Parameters Tuning.	DSN	2017	DBLP DOI BibTeX RDF
37	Christopher Natoli, Vincent Gramoli	The Balance Attack or Why Forkable Blockchains are Ill-Suited for Consortium.	DSN	2017	DBLP DOI BibTeX RDF
37	Iberia Medeiros, Miguel Beatriz, Nuno Ferreira Neves, Miguel Correia 0001	Demonstrating a Tool for Injection Attack Prevention in MySQL.	DSN	2017	DBLP DOI BibTeX RDF
37	Hui Xu 0009, Yangfan Zhou, Yu Kang, Michael R. Lyu	Concolic Execution on Small-Size Binaries: Challenges and Empirical Study.	DSN	2017	DBLP DOI BibTeX RDF
37	Balaji Arun, Sebastiano Peluso, Roberto Palmieri, Giuliano Losa, Binoy Ravindran	Speeding up Consensus by Chasing Fast Decisions.	DSN	2017	DBLP DOI BibTeX RDF
37	Cheng Feng 0004, Tingting Li 0001, Deeph Chana	Multi-level Anomaly Detection in Industrial Control Systems via Package Signatures and LSTM Networks.	DSN	2017	DBLP DOI BibTeX RDF
37	Bernardo Ferreira, João Leitão 0001, Henrique João L. Domingos	Multimodal Indexable Encryption for Mobile Cloud-Based Applications.	DSN	2017	DBLP DOI BibTeX RDF
37	Daniel D. Dunn, Samuel A. Mitchell, Imran Sajjad, Ryan M. Gerdes, Rajnikant Sharma, Ming Li 0003	Regular: Attacker-Induced Traffic Flow Instability in a Stream of Semi-Automated Vehicles.	DSN	2017	DBLP DOI BibTeX RDF
37	Sisi Duan, Michael K. Reiter, Haibin Zhang	Secure Causal Atomic Broadcast, Revisited.	DSN	2017	DBLP DOI BibTeX RDF
37	Jingyao Fan, Qinghua Li, Guohong Cao	Privacy Disclosure through Smart Meters: Reactive Power Based Attack and Defense.	DSN	2017	DBLP DOI BibTeX RDF
37	Amit Klein 0001, Haya Schulmann, Michael Waidner	Counting in the Dark: DNS Caches Discovery and Enumeration in the Internet.	DSN	2017	DBLP DOI BibTeX RDF
37	Devendra Shelar, Pengfei Sun, Saurabh Amin, Saman A. Zonouz	Compromising Security of Economic Dispatch in Power System Operations.	DSN	2017	DBLP DOI BibTeX RDF
37	Babak Rahbarinia, Marco Balduzzi, Roberto Perdisci	Exploring the Long Tail of (Malicious) Software Downloads.	DSN	2017	DBLP DOI BibTeX RDF
37	Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie	Analysing Selfishness Flooding with SEINE.	DSN	2017	DBLP DOI BibTeX RDF
37	Seunghyeon Lee, Jinwoo Kim, Seungwon Shin, Phillip A. Porras, Vinod Yegneswaran	Athena: A Framework for Scalable Anomaly Detection in Software-Defined Networks.	DSN	2017	DBLP DOI BibTeX RDF
37	Benjamin Kollenda, Enes Göktas, Tim Blazytko, Philipp Koppe, Robert Gawlik, Radhesh Krishnan Konoth, Cristiano Giuffrida, Herbert Bos, Thorsten Holz	Towards Automated Discovery of Crash-Resistant Primitives in Binary Executables.	DSN	2017	DBLP DOI BibTeX RDF
37	Chen Tian 0004, Yazhe Wang, Peng Liu 0005, Qihui Zhou, Chengyi Zhang, Zhen Xu	IM-Visor: A Pre-IME Guard to Prevent IME Apps from Stealing Sensitive Keystrokes Using TrustZone.	DSN	2017	DBLP DOI BibTeX RDF
37	Ping Chen 0003, Jun Xu 0024, Zhisheng Hu, Xinyu Xing, Minghui Zhu, Bing Mao, Peng Liu 0005	What You See is Not What You Get! Thwarting Just-in-Time ROP with Chameleon.	DSN	2017	DBLP DOI BibTeX RDF
37	Jingwei Li 0001, Chuan Qin 0009, Patrick P. C. Lee, Xiaosong Zhang 0001	Information Leakage in Encrypted Deduplication via Frequency Analysis.	DSN	2017	DBLP DOI BibTeX RDF
37	Md. Endadul Hoque, Omar Chowdhury, Sze Yiu Chau, Cristina Nita-Rotaru, Ninghui Li	Analyzing Operational Behavior of Stateful Protocol Implementations for Detecting Semantic Bugs.	DSN	2017	DBLP DOI BibTeX RDF
37		46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, June 28 - July 1, 2016	DSN	2016	DBLP BibTeX RDF