首页>外文会议>Annual IEEE/IFIP International Conference on Dependable Systems and Networks

Annual IEEE/IFIP International Conference on Dependable Systems and Networks

召开年：2018
召开地：Luxembourg City(LU)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures

机译：电网关键基础设施混合动力的算法攻击综合
- 作者：Zhenqi Huang;Sriharsha Etigowni;Luis Garcia;Sayan Mitra;Saman Zonouz
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Power grids;
- Transient analysis;
- Generators;
- Power system stability;
- Actuators;
2.Alpha Entanglement Codes: Practical Erasure Codes to Archive Data in Unreliable Environments

机译：Alpha纠缠码：在不可靠环境中归档数据的实用擦除码
- 作者：Vero Estrada-Galiñanes;Ethan Miller;Pascal Felber;Jehan-Francois Pâris
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Redundancy;
- Maintenance engineering;
- Fault tolerant systems;
- Bandwidth;
- Data centers;
3.A Framework for Evaluating Software on Reduced Margins Hardware

机译：降低利润的硬件上的软件评估框架
- 作者：Konstantinos Parasyris;Panos Koutsovasilis;Vassilis Vassiliadis;Christos D. Antonopoulos;Nikolaos Bellas;Spyros Lalis
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Hardware;
- Software;
- Libraries;
- Monitoring;
- Reliability;
- Switches;
- Timing;
4.Collaborative Filtering Under a Sybil Attack: Similarity Metrics do Matter!

机译：在Sybil攻击下进行协作过滤：相似性指标至关重要！
- 作者：Antoine Boutet;Florestant De Moor;Davide Frey;Rachid Guerraoui;Anne-Marie Kermarrec;Antoine Rault
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Measurement;
- Collaboration;
- Privacy;
- Electronic mail;
- Correlation;
- Data mining;
- Companies;
5.Branching Bisimulation and Concurrent Object Verification

机译：分支双仿真和并发对象验证
- 作者：Xiaoxiao Yang;Joost-Pieter Katoen;Huimin Lin;Gaoang Liu;Hao Wu
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Data structures;
- Software;
- Computer bugs;
- Registers;
- History;
- Computational modeling;
- Computer science;
6.DAVOS: EDA Toolkit for Dependability Assessment, Verification, Optimisation and Selection of Hardware Models

机译：DAVOS：用于可靠性评估，验证，优化和选择硬件模型的EDA工具包
- 作者：Ilya Tuzov;David de Andrés;Juan-Carlos Ruiz
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Tools;
- Analytical models;
- Hardware;
- Hardware design languages;
- Estimation;
- Computer architecture;
- Standards;
7.A Reexamination of Internationalized Domain Names: The Good, the Bad and the Ugly

机译：重新审视国际化域名：好的，坏的和丑陋的
- 作者：Baojun Liu;Chaoyi Lu;Zhou Li;Ying Liu;Haixin Duan;Shuang Hao;Zaifeng Zhang
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Blacklisting;
- Internet;
- Browsers;
- Semantics;
- Superluminescent diodes;
- Uniform resource locators;
8.Divide and Conquer for Fast SRLG Disjoint Routing

机译：快速的SRLG不相交路由的分而治之
- 作者：Kun Xie;Heng Tao;Xin Wang;Gaogang Xie;Jigang Wen;Jiannong Cao;Zheng Qin
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Routing;
- Partitioning algorithms;
- Heuristic algorithms;
- Search problems;
- Time complexity;
- High-speed networks;
9.Code-Dependent and Architecture-Dependent Reliability Behaviors

机译：依赖于代码和依赖于体系结构的可靠性行为
- 作者：Vinícius Fratin;Daniel Oliveira;Caio Lunardi;Fernando Santos;Gennaro Rodrigues;Paolo Rech
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Computer architecture;
- Transistors;
- Error analysis;
- Error correction codes;
- Hardware;
- Software reliability;
10.EndBox: Scalable Middlebox Functions Using Client-Side Trusted Execution

机译：EndBox：使用客户端可信执行的可扩展Middlebox函数
- 作者：David Goltzsche;Signe Rüsch;Manuel Nieke;Sébastien Vaucher;Nico Weichbrodt;Valerio Schiavoni;Pierre-Louis Aublin;Paolo Cosa;Christof Fetzer;Pascal Felber;Peter Pietzuch;Rüdiger Kapitza
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Middleboxes;
- Servers;
- Cloud computing;
- Virtual private networks;
- Cryptography;
11.DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis

机译：DexLego：可重组字节码提取以帮助进行静态分析
- 作者：Zhenyu Ning;Fengwei Zhang
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Tools;
- Static analysis;
- Androids;
- Humanoid robots;
- Malware;
- Runtime;
- Subspace constraints;
12.Evaluating Self-Adaptive Authorisation Infrastructures Through Gamification

机译：通过游戏化评估自适应授权基础结构
- 作者：Christopher Bailey;Rogério de Lemos
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Games;
- Authorization;
- Runtime;
- Permission;
- Servers;
- Computer crime;
13.DTaint: Detecting the Taint-Style Vulnerability in Embedded Device Firmware

机译：DTaint：检测嵌入式设备固件中的污染样式漏洞
- 作者：Kai Cheng;Qiang Li;Lei Wang;Qian Chen;Yaowen Zheng;Limin Sun;Zhenkai Liang
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Static analysis;
- Payloads;
- Microprogramming;
- Security;
- Software;
- Hardware;
- Tools;
14.FAROS: Illuminating In-memory Injection Attacks via Provenance-Based Whole-System Dynamic Information Flow Tracking

机译：FAROS：通过基于源的整个系统动态信息流跟踪来阐明内存中的注入攻击
- 作者：Meisam Navaki Arefi;Geoffrey Alexander;Hooman Rokham;Aokun Chen;Michalis Faloutsos;Xuetao Wei;Daniela Seabra Oliveira;Jedidiah R. Crandall
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Malware;
- Tools;
- Libraries;
- Reverse engineering;
- Security;
- Payloads;
- Monitoring;
15.Cost-Benefit Analysis of Moving-Target Defense in Power Grids

机译：电网移动目标防御的成本效益分析
- 作者：Subhash Lakshminarayana;David K.Y. Yau
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
16.IBBE-SGX: Cryptographic Group Access Control Using Trusted Execution Environments

机译：IBBE-SGX：使用可信执行环境的密码组访问控制
- 作者：Stefan Contiu;Rafael Pires;Sébastien Vaucher;Marcelo Pasin;Pascal Felber;Laurent Réveillère
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Cloud computing;
- Access control;
- Encryption;
- Public key;
- Metadata;
- Computational complexity;
17.Fast Hypervisor Recovery Without Reboot

机译：快速虚拟机监控程序恢复，无需重启
- 作者：Diyu Zhou;Yuval Tamir
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Virtual machine monitors;
- Kernel;
- Booting;
- Virtualization;
- Linux;
- Instruction sets;
- Hardware;
18.Impact of Software Approximations on the Resiliency of a Video Summarization System

机译：软件近似对视频汇总系统弹性的影响
- 作者：Radha Venkatagiri;Karthik Swaminathan;Chung-Ching Lin;Liang Wang;Alper Buyuktosunoglu;Pradip Bose;Sarita Adve
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Resilience;
- Software;
- Approximation algorithms;
- Streaming media;
- Real-time systems;
- Task analysis;
- Cameras;
19.Byzantine Fault-Tolerant Atomic Multicast

机译：拜占庭容错原子组播
- 作者：Paulo Coelho;Tarcisio Ceolin Junior;Alysson Bessani;Fernando Dotti;Fernando Pedone
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Multicast protocols;
- Servers;
- Fault tolerance;
- Fault tolerant systems;
- Libraries;
20.Low Overhead Tag Error Mitigation for GPU Architectures

机译：GPU架构的低开销标记错误缓解
- 作者：Atieh Lotfi;Nirmal Saxena;Richard Bramley;Paul Racunas;Philip Shirvani
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Graphics processing units;
- Random access memory;
- Indexing;
- Hamming distance;
- Reliability;
- Transient analysis;
- Resilience;
21.Importance Sampling of Interval Markov Chains

机译：间隔马尔可夫链的重要性抽样
- 作者：Cyrille Jegourel;Jingyi Wang;Jun Sun
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Markov processes;
- Monte Carlo methods;
- Probabilistic logic;
- Estimation;
- Standards;
- Model checking;
- Information systems;
22.Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution

机译：制造具有弹性的双不透明谓词以防止符号执行
- 作者：Hui Xu;Yangfan Zhou;Yu Kang;Fengzhi Tu;Michael Lyu
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Engines;
- Security;
- Tools;
- Resilience;
- Software;
- Parallel programming;
23.Effective Topology Tampering Attacks and Defenses in Software-Defined Networks

机译：有效的拓扑篡改软件定义网络中的攻击和防御
- 作者：Richard Skowyra;Lei Xu;Guofei Gu;Veer Dedhia;Thomas Hobson;Hamed Okhravi;James Landry
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Control systems;
- Network topology;
- Topology;
- Fabrication;
- Monitoring;
- High-temperature superconductors;
- Protocols;
24.Measuring IPv6 DNS Reconnaissance Attacks and Preventing Them Using DNS Guard

机译：衡量IPv6 DNS侦查攻击并使用DNS Guard防止攻击
- 作者：Qinwen Hu;Muhammad Rizwan Asghar;Nevil Brownlee
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Servers;
- Reconnaissance;
- Internet;
- Protocols;
- Computer crime;
- IP networks;
25.Detecting and Identifying Faulty IoT Devices in Smart Home with Context Extraction

机译：通过上下文提取检测和识别智能家居中的故障IoT设备
- 作者：Jiwon Choi;Hayoung Jeoung;Jihun Kim;Youngjoo Ko;Wonup Jung;Hanjun Kim;Jong Kim
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Smart homes;
- Correlation;
- Fault diagnosis;
- Training;
- Actuators;
- Usability;
- Object recognition;
26.Modeling Input-Dependent Error Propagation in Programs

机译：在程序中对与输入有关的错误传播建模
- 作者：Guanpeng Li;Karthik Pattabiraman
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Hardware;
- Probability;
- Mathematical model;
- Software;
- Predictive models;
- Transient analysis;
- Computer crashes;
27.Modeling Soft-Error Propagation in Programs

机译：在程序中对软错误传播建模
- 作者：Guanpeng Li;Karthik Pattabiraman;Siva Kumar Sastry Hari;Michael Sullivan;Timothy Tsai
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Hardware;
- Analytical models;
- Program processors;
- Probability;
- Scalability;
- Predictive models;
28.OWL: Understanding and Detecting Concurrency Attacks

机译：OWL：了解和检测并发攻击
- 作者：Shixiong Zhao;Rui Gu;Haoran Qiu;Tsz On Li;Yuexuan Wang;Heming Cui;Junfeng Yang
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Concurrent computing;
- Computer bugs;
- OWL;
- Tools;
- Instruction sets;
- Security;
29.Falcon: A Practical Log-Based Analysis Tool for Distributed Systems

机译：Falcon：实用的基于日志的分布式系统分析工具
- 作者：Francisco Neves;Nuno Machado;JosÃ© Pereira
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Tools;
- Debugging;
- Clocks;
- Protocols;
- Runtime;
- Pipelines;
- Schedules;
30.Pleiades: Distributed Structural Invariants at Scale

机译：le：大规模分布式结构不变式
- 作者：Simon Bouget;Yérom-David Bromberg;Adrien Luxey;François Taiani
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Shape;
- Protocols;
- Topology;
- Peer-to-peer computing;
- Structural rings;
- Resilience;
- Maintenance engineering;
31.Hands Off the Wheel in Autonomous Vehicles?: A Systems Perspective on over a Million Miles of Field Data

机译：会自动驾驶无人驾驶汽车吗？：百万英里现场数据的系统透视
- 作者：Subho S. Banerjee;Saurabh Jha;James Cyriac;Zbigniew T. Kalbarczyk;Ravishankar K. Iyer
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Accidents;
- Autonomous vehicles;
- Roads;
- Control systems;
- Process control;
- Vehicle dynamics;
32.RDMC: A Reliable RDMA Multicast for Large Objects

机译：RDMC：大对象的可靠RDMA组播
- 作者：Jonathan Behrens;Sagar Jha;Ken Birman;Edward Tremel
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Receivers;
- Delays;
- Bandwidth;
- Hardware;
- Robustness;
- Task analysis;
33.POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy

机译：POWERALERT：使用功率测量和博弈论策略进行完整性检查
- 作者：Ahmed M. Fawaz;Mohammad A. Noureddine;William H. Sanders
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Current measurement;
- Kernel;
- Security;
- Adaptation models;
- Protocols;
- Frequency measurement;
34.RECAST: Random Entanglement for Censorship-Resistant Archival STorage

机译：回顾：抗审查档案存储的随机纠缠
- 作者：Roberta Barbi;Dorian Burihabwa;Pascal Felber;Hugues Mercier;Valerio Schiavoni
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Peer-to-peer computing;
- Servers;
- Maintenance engineering;
- Encryption;
- Metadata;
35.How Reliable is My Wearable: A Fuzz Testing-Based Study

机译：我的可穿戴设备的可靠性：基于模糊测试的研究
- 作者：Edgardo Barsallo Yi;Amiya Maji;Saurabh Bagchi
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Smart phones;
- Androids;
- Humanoid robots;
- Tools;
- Biomedical monitoring;
- Reliability;
- Libraries;
36.Specification-Based Protocol Obfuscation

机译：基于规范的协议混淆
- 作者：Julien Duchêne;Eric Alata;Vincent Nicomette;Mohamed Kaâniche;Colas Le Guernic
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Protocols;
- Reverse engineering;
- Tools;
- Software;
- Inference algorithms;
- Grammar;
- Libraries;
37.FragDroid: Automated User Interface Interaction with Activity and Fragment Analysis in Android Applications

机译：FragDroid：自动化的用户界面与Android应用程序中的活动和片段分析的交互
- 作者：Jia Chen;Ge Han;Shanqing Guo;Wenrui Diao
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Testing;
- Androids;
- Humanoid robots;
- Smart phones;
- Switches;
- Runtime;
- Layout;
38.Troxy: Transparent Access to Byzantine Fault-Tolerant Systems

机译：Troxy：透明访问拜占庭容错系统
- 作者：Bijun Li;Nico Weichbrodt;Johannes Behl;Pierre-Louis Aublin;Tobias Distler;Rüdiger Kapitza
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Protocols;
- Servers;
- Computer crashes;
- Fault tolerance;
- Fault tolerant systems;
- Hardware;
- Prototypes;
39.In Production Performance Testing of SDN Control Plane for Telecom Operators

机译：面向电信运营商的SDN控制平面的生产性能测试
- 作者：Catello Di Martino;Ugo Giordano;Nishok Mohanasamy;Stefano Russo;Marina Thottan
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Cloud computing;
- Testing;
- Network topology;
- Topology;
- Switches;
- Production;
- Generators;
40.Inferring, Characterizing, and Investigating Internet-Scale Malicious IoT Device Activities: A Network Telescope Perspective

机译：推断，表征和调查Internet规模的恶意IoT设备活动：网络望远镜的角度
- 作者：Sadegh Torabi;Elias Bou-Harb;Chadi Assi;Mario Galluscio;Amine Boukhtouta;Mourad Debbabi
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Telescopes;
- Internet of Things;
- Security;
- Malware;
- IP networks;
- Monitoring;
41.Understanding and Analyzing Interconnect Errors and Network Congestion on a Large Scale HPC System

机译：了解和分析大型HPC系统上的互连错误和网络拥塞
- 作者：Mohit Kumar;Saurabh Gupta;Tirthak Patel;Michael Wilder;Weisong Shi;Song Fu;Christian Engelmann;Devesh Tiwari
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Resilience;
- Time-frequency analysis;
- Performance evaluation;
- Blades;
- Supercomputers;
- Integrated circuit interconnections;
- Bandwidth;
42.Parallel Error Detection Using Heterogeneous Cores

机译：使用异构核的并行错误检测
- 作者：Sam Ainsworth;Timothy M. Jones
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Hardware;
- Out of order;
- Registers;
- Transistors;
- Parallel processing;
- Transient analysis;
43.The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report)

机译：乌龟与野兔：表征分布式环境中的同步性（实践经验报告）
- 作者：Daniel Porto;João Leitão;Flavio Junqueira;Rodrigo Rodrigues
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Protocols;
- Cloud computing;
- Data centers;
- Timing;
- Atmospheric measurements;
- Particle measurements;
44.Your Remnant Tells Secret: Residual Resolution in DDoS Protection Services

机译：您的残余物告诉您的秘密：DDoS保护服务中的残留解决方案
- 作者：Lin Jin;Shuai Hao;Haining Wang;Chase Cotton
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- IP networks;
- Computer crime;
- Servers;
- Internet;
- Switches;
- Content distribution networks;
45.Localizing Function Errors in Mobile Apps with User Reviews

机译：通过用户评论本地化移动应用中的功能错误
- 作者：Le Yu;Jiachi Chen;Hao Zhou;Xiapu Luo;Kang Liu
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Semantics;
- Tools;
- Androids;
- Humanoid robots;
- Graphical user interfaces;
- Computer bugs;
46.To Detect Stack Buffer Overflow with Polymorphic Canaries

机译：使用多态金丝雀检测堆栈缓冲区溢出
- 作者：Zhilong Wang;Xuhua Ding;Chengbin Pang;Jian Guo;Jun Zhu;Bing Mao
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Security;
- Runtime;
- Instruments;
- Force;
- Tools;
- Instruction sets;
47.Deceptive Secret Sharing

机译：欺骗性秘密分享
- 作者：Lei Zhang;Douglas Blough
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Servers;
- Encryption;
- Metadata;
- Access control;
48.Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid

机译：电网抗网络攻击的SCADA
- 作者：Amy Babay;Thomas Tantillo;Trevor Aron;Marco Platania;Yair Amir
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- SCADA systems;
- Power grids;
- Protocols;
- Substations;
- Monitoring;
- Resilience;
- Data centers;
49.Obfuscated VBA Macro Detection Using Machine Learning

机译：使用机器学习的模糊VBA宏检测
- 作者：Sangwoo Kim;Seokmyung Hong;Jaesang Oh;Heejo Lee
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Malware;
- Machine learning;
- Feature extraction;
- Portable document format;
- Security;
- Electronic mail;
- Visual BASIC;
50.Practical Experience: Methodologies for Measuring Route Origin Validation

机译：实践经验：路线起点验证的测量方法
- 作者：Tomas Hlavacek;Amir Herzberg;Haya Shulman;Michael Waidner
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Routing;
- IP networks;
- Autonomous systems;
- Authorization;
- Internet security;
51.RoboADS: Anomaly Detection Against Sensor and Actuator Misbehaviors in Mobile Robots

机译：RoboADS：针对移动机器人中传感器和执行器不当行为的异常检测
- 作者：Pinyao Guo;Hunmin Kim;Nurali Virani;Jun Xu;Minghui Zhu;Peng Liu
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Robot sensing systems;
- Mobile robots;
- Actuators;
- Robot kinematics;
- Anomaly detection;
52.Generating Cloud Monitors from Models to Secure Clouds

机译：从模型到安全云生成云监控器
- 作者：Elena Troubitsyna;Irum Rauf
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Cloud computing;
- Security;
- Monitoring;
- Unified modeling language;
- Contracts;
- Testing;
- Tools;
53.PreInfer: Automatic Inference of Preconditions via Symbolic Analysis

机译：PreInfer：通过符号分析自动推断前提条件
- 作者：Angello Astorga;Siwakorn Srisakaokul;Xusheng Xiao;Tao Xie
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Tools;
- Runtime;
- Debugging;
- Test pattern generators;
- Arrays;
- Law;
54.Efficient Transient Analysis of a Class of Compositional Fluid Stochastic Petri Nets

机译：一类成分流体随机Petri网的高效瞬态分析
- 作者：Peter Buchholz;Tugrul Dayar
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Numerical models;
- Stochastic processes;
- Analytical models;
- Mathematical model;
- Petri nets;
- Transient analysis;
- Fluids;
55.A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform

机译：Hyperledger Fabric区块链平台的拜占庭容错订购服务
- 作者：João Sousa;Alysson Bessani;Marko Vukolic
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Fabrics;
- Protocols;
- Fault tolerance;
- Fault tolerant systems;
- Cryptography;
- Peer-to-peer computing;
56.Machine Learning Models for GPU Error Prediction in a Large Scale HPC System

机译：大规模HPC系统中用于GPU错误预测的机器学习模型
- 作者：Bin Nie;Ji Xue;Saurabh Gupta;Tirthak Patel;Christian Engelmann;Evgenia Smirni;Devesh Tiwari
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Graphics processing units;
- Power demand;
- Error correction codes;
- Temperature distribution;
- Predictive models;
- Correlation;
57.On the Challenges of Building a BFT SCADA

机译：关于建设BFT SCADA的挑战
- 作者：André Nogueira;Miguel Garcia;Alysson Bessani;Nuno Neves
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Servers;
- SCADA systems;
- Fault tolerance;
- Fault tolerant systems;
- Buildings;
- Prototypes;
- Monitoring;
58.Migrating SGX Enclaves with Persistent State

机译：迁移具有持久状态的SGX飞地
- 作者：Fritz Alder;Arseny Kurnikov;Andrew Paverd;N. Asokan
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Software;
- Cryptography;
- Hardware;
- Virtual machine monitors;
- Virtual machining;
- Computational modeling;
59.Shiraz: Exploiting System Reliability and Application Resilience Characteristics to Improve Large Scale System Throughput

机译：Shiraz：开发系统可靠性和应用程序弹性来提高大规模系统吞吐量
- 作者：Rohan Garg;Tirthak Patel;Gene Cooperman;Devesh Tiwari
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Checkpointing;
- Throughput;
- Switches;
- Reliability;
- Schedules;
- Resilience;
- Computational modeling;
60.ZOE: Content-Based Anomaly Detection for Industrial Control Systems

机译：ZOE：用于工业控制系统的基于内容的异常检测
- 作者：Christian Wressnegger;Ansgar Kellner;Konrad Rieck
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Protocols;
- Prototypes;
- Anomaly detection;
- Data models;
- Detectors;
- Intrusion detection;
61.MobiCeal: Towards Secure and Practical Plausibly Deniable Encryption on Mobile Devices

机译：MobiCeal：在移动设备上实现安全且实用的可否认的加密
- 作者：Bing Chang;Fengwei Zhang;Bo Chen;Yingjiu Li;Wen-Tao Zhu;Yangguang Tian;Zhan Wang;Albert Ching
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Encryption;
- Smart phones;
- Password;
- Switches;
- Side-channel attacks;
62.Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store

机译：ren：分区事务因果一致的数据存储中的非阻塞读取
- 作者：Kristina Spirovska;Diego Didona;Willy Zwaenepoel
- 会议名称：《Annual IEEE/IFIP International Conference on Dependable Systems and Networks》 | 2018年
- Protocols;
- Servers;
- Scalability;
- Data centers;
- Throughput;
- Distributed databases;
- Clocks;