yusuke1997/dblp-id-title huggingface dataset:
FAROS: Illuminating In-memory Injection Attacks via Provenance-Based Whole-System Dynamic Information Flow Tracking
Scarecrow: Deactivating Evasive Malware via Its Own Evasive Logic
Workshop on Dependable Middleware-Based Systems
Parametric NdRFT for the derivation of optimal repair strategies
Efficient Hierarchic Management For Reconfiguration of Networked Information Systems
Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors
An independent verification of errors and vulnerabilities in SaaS cloud
Neural Fault Injection: Generating Software Faults from Natural Language
Lightweight Probabilistic Broadcast
Secure Dynamic Software Loading and Execution Using Cross Component Verification
Ant Hole: Data Poisoning Attack Breaking out the Boundary of Face Cluster
A Comprehensive, Longitudinal Study of Government DNS Deployment at Global Scale
Speeding up Consensus by Chasing Fast Decisions
Quantification and Analysis of Interdependency in Cyber-Physical Systems
Leaving No Blind Spots: Toward Automotive Cybersecurity
Degraded-First Scheduling for MapReduce in Erasure-Coded Storage Clusters
Exploring Use of Symbolic Execution for Service Analysis
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, Toulouse, France, June 28 - July 1, 2016
I Know Nothing about You But Here is What You Might Like
Sentiment Analysis based Error Detection for Large-Scale Systems
A Multi-Level Meta-Object Protocol for Fault-Tolerance in Complex Architectures
How to Learn Collaboratively - Federated Learning to Peer-to-Peer Learning and What's at Stake
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes
Rewind & Discard: Improving Software Resilience using Isolated Domains
Chaotic-identity maps for robustness estimation of exascale computations
An Adaptive Framework for Tunable Consistency and Timeliness Using Replication
Expectations Versus Reality: Evaluating Intrusion Detection Systems in Practice
Parallax: Implicit Code Integrity Verification Using Return-Oriented Programming
Survivability Analysis of Network Specifications
GOOFI: Generic Object-Oriented Fault Injection Tool
Flexible Deployment and Enforcement of Flight and Privacy Restrictions for Drone Applications
Decomposable Trust for Android Applications
Workshop on Dependability and Robotics
EagleEye: Towards mandatory security monitoring in virtualized datacenter environment
gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis
HiMFP: Hierarchical Intelligent Memory Failure Prediction for Cloud Service Reliability
POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy
Finding Critical Traffic Matrices
Dynamic Multipath Routing Mechanism for Multimedia Data Flow Scheduling Over Software Defined Networks
Security implications of memory deduplication in a virtualized environment
RL-BLH: Learning-Based Battery Control for Cost Savings and Privacy Preservation for Smart Meters
Modeling Coordinated Checkpointing for Large-Scale Supercomputers
SoundBoost: Effective RCA and Attack Detection for UAV via Acoustic Side-Channel
Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms
Characterization of logical masking and error propagation in combinational circuits and effects on system vulnerability
ConfBench: A Tool for Easy Evaluation of Confidential Virtual Machines
Resource Scheduling in Dependable Integrated Modular Avionics
Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP
Crosscheck: Hardening Replicated Multithreaded Services
47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2017, Denver, CO, USA, June 26-29, 2017
What Lies Beneath: An Empirical Study of Silent Vulnerability Fixes in Open-Source Software
AI and Reliability Trends in Safety-Critical Autonomous Systems on Ground and Air
Challenges/Opportunities to Enable Dependable Scale-out System with Groq Deterministic Tensor-Streaming Processors
Improving Driver Robustness: An Evaluation of the Devil Approach
Safeguarding Cooperative Maneuver Information with Practical Byzantine Fault Tolerance
NeXUS: Practical and Secure Access Control on Untrusted Storage Platforms using Client-Side SGX
The Balance Attack or Why Forkable Blockchains are Ill-Suited for Consortium
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018
Improving TCP Performance for Multihop Wireless Networks
A Novel Graphical Security Model for Evolving Cyber Attacks in Internet of Things
Cordial: Cross-row Failure Prediction Method Based on Bank-level Error Locality for HBMs
Introduction to SSIV 2016
A Privacy Analysis of Google and Yandex Safe Browsing
In-Register Duplication: Exploiting Narrow-Width Value for Improving Register File Reliability
REMAX: Reachability-Maximizing P2P Detection of Erroneous Readings in Wireless Sensor Networks
Poster: Designing Scalable, Secure Systems for Atomic-Scale Physical AI: Enabling Open Science and Collaborative Data Management and Analytics
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation
On Adversarial Robustness of Point Cloud Semantic Segmentation
Orchestration of Sustainable Mixed-Criticality Systems Over Heterogenous Edge Nodes
Risk Assessment of Buffer "Heartbleed" Over-Read Vulnerabilities
Error Monitoring for Legacy Mission-Critical Systems
Microarchitecture-Based Introspection: A Technique for Transient-Fault Tolerance in Microprocessors
Data recovery for web applications
MTD in Plain Sight: Hiding Network Behavior in Moving Target Defenses
Automatic Cookie Usage Setting with CookiePicker
An Approach for Analysing the Propagation of Data Errors in Software
SDN-Based IP Shuffling Moving Target Defense with Multiple SDN Controllers
Malware Evasion Attack and Defense
Interoperability in fingerprint recognition: A large-scale empirical study
Enhancing data availability in disk drives through background activities
Hardware Fault Injection with UMLinux
A Voltage Scheduling Heuristic for Real-Time Task Graphs
TIP-Code: A Three Independent Parity Code to Tolerate Triple Disk Failures with Optimal Update Complextiy
Experience with Evaluating Human-Assisted Recovery Processes
Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software Binaries
BFL: a Logic to Reason about Fault Trees
Stealthy Data Corruption Attack Against Road Traffic Congestion Avoidance Applications
Revisiting Main Memory-Based Covert and Side Channel Attacks in the Context of Processing-in-Memory
DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems
Constructing Multi-Layered Boundary to Defend Against Intrusive Anomalies: An Autonomic Detection Coordinator
MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks
Enhancing Anomaly Diagnosis of Automatic Train Supervision System Based on Operation Log
Automatic fault detection and diagnosis in complex software systems by information-theoretic monitoring
Pseudo-Honeypot: Toward Efficient and Scalable Spam Sniffer
Reliability of Google's Tensor Processing Units for Convolutional Neural Networks
Detecting and Identifying Faulty IoT Devices in Smart Home with Context Extraction
Hierarchical Computation of Interval Availability and Related Metrics
MAS: Mobile-Apps Assessment and Analysis System
Small Parity-Check Erasure Codes - Exploration and Observations
AuSSE: A Novel Framework for Security and Safety Evaluation for Autonomous Vehicles
Remote attestation to dynamic system properties: Towards providing complete system integrity evidence
Scalable Security Models for Assessing Effectiveness of Moving Target Defenses
On the complexity of scheduling checkpoints for computational workflows
Robust Anomaly Detection on Unreliable Data
High-performance parallel accelerator for flexible and efficient run-time monitoring
MalAder: Decision-Based Black-Box Attack Against API Sequence Based Malware Detectors
RFID Tag Grouping Protocols Made Private
SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment
Bayesian Network Reliability Modeling for Three-version Machine Learning Systems
A Method for Performance Analysis of Earliest-Deadline-First Scheduling Policy
Evaluating the Impact of Different Document Types on the Performance of Web Cache Replacement Schemes
Simultaneous Many-Row Activation in Off-the-Shelf DRAM Chips: Experimental Characterization and Analysis
Lumpability of fluid models with heterogeneous agent types
Tracking Probabilistic Correlation of Monitoring Data for Fault Detection in Complex Systems
Dependability Assessment of Grid Middleware
Safety-Centric Architecture for AI-Enabled Autonomous Driving Systems
A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components
Investigating the impact of process variations on an asynchronous Time-Triggered-Protocol controller
A Workflow for Distributed and Resilient Attack Graph Generation
Evaluating COTS Standards for Design of Dependable Systems
Test and Development Process Retrospective - A Case Study using ODC Triggers
Exploiting Memory Corruption Vulnerabilities in Connman for IoT Devices
On Integrating the MÖBIUS and MODEST Modeling Tools
Towards assessing the security of DBMS configurations
Towards Provenance for Cybersecurity in Cloud-Native Production Infrastructure
Suraksha: A Quantitative AV Safety Evaluation Framework to Analyze Safety Implications of Perception Design Choices
Distal: A framework for implementing fault-tolerant distributed algorithms
The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011
PhFit: A General Phase-type Fitting Tool
IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing
A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities
FADO: A Federated Learning Attack and Defense Orchestrator
Loki: A State-Driven Fault Injector for Distributed Systems
What Exactly Determines the Type? Inferring Types with Context
I-JVM: a Java Virtual Machine for component isolation in OSGi
Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS
A Portable and Fault-Tolerant Microprocessor Based on the SPARC V8 Architecture
Stability Monitoring and Analysis of Learning in an Adaptive System
Iniva: Inclusive and Incentive-Compatible Vote Aggregation
Exactly-once Delivery in a Content-based Publish-Subscribe System
Reading between the lines of failure logs: Understanding how HPC systems fail
S-MATCH: Verifiable Privacy-Preserving Profile Matching for Mobile Social Services
Towards Dependable Home Networking: An Experience Report
Low Cost Transient Fault Protection Using Loop Output Prediction
Designing dependable storage solutions for shared application environments
Toward comprehensive and accurate simulation performance prediction of parallel file systems
Towards incorporating human intelligence into online security solutions
How to Resuscitate a Sick VM in the Cloud
Reducing the gap between theory and practice in real-time systems with MARS
DNS Noise: Measuring the Pervasiveness of Disposable Domains in Modern DNS Traffic
Quantifying DNN Model Robustness to the Real-World Threats
Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries
Modeling Soft-Error Propagation in Programs
Regular: Attacker-Induced Traffic Flow Instability in a Stream of Semi-Automated Vehicles
The TClouds architecture: Open and resilient cloud-of-clouds computing
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation
Mitigating Write Disturbance in Super-Dense Phase Change Memories
Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems
Pinpoint: Problem Determination in Large, Dynamic Internet Services
Welcome Message from the Conference Coordinator
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011
Stepwise Construction and Refinement of Dependability Models
IEEE 802.1AS Multi-Domain Aggregation for Virtualized Distributed Real-Time Systems
ACE: An Analog Cell Emulator for Dependability Study of NAND Flash Memory
Power supply induced common cause faults-experimental assessment of potential countermeasures
Finding Web Application Vulnerabilities with an Ensemble Fuzzing
A Framework for SDN Network Evaluation
Executable Assertions for Detecting Data Errors in Embedded Control Systems
BlueGene/L Failure Analysis and Prediction Models
NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection
A Defense-Centric Taxonomy Based on Attack Manifestations
Fault Tolerant Energy Aware Data Dissemination Protocol in Sensor Networks
OneFile: A Wait-Free Persistent Transactional Memory
TCP Server Fault Tolerance Using Connection Migration to a Backup Server
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults
Workshop on Dependable and Secure Nanocomputing
Delivering Packets During The Routing Convergence Latency Interval Through Highly Connected Detours
An industrial perspective on web scraping characteristics and open issues
Anomaly Characterization in Large Scale Networks
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities
Comparison Criticality in Sorting Algorithms
2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
CarFASE: A Carla-based Tool for Evaluating the Effects of Faults and Attacks on Autonomous Driving Stacks
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
William C. Carter Award
On the Scalability of HeapCheck
Fail-Aware Untrusted Storage
ZipChannel: Cache Side-Channel Vulnerabilities in Compression Algorithms
Increasing network resiliency by optimally assigning diverse variants to routing nodes
Towards Secure and Verifiable Database-Driven Spectrum Sharing
Security Vulnerability Risk Growth Model based on CVSS 4.0
Hardware Support for Low-Cost Memory Safety
Fast entropy based alert detection in super computer logs
ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report)
Predicting job completion times using system logs in supercomputing clusters
DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis
Analysis of the effect of Java software faults on security vulnerabilities and their detection by commercial web vulnerability scanner tool
A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Supplemental Volume, Baltimore, MD, USA, June 27-30, 2022
FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger Fabric
5th international workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011
End-system tools for enhancing email reliability
A Chinese Multi-modal Relation Extraction Model for Internet Security of Finance
Evaluating Xilinx SEU Controller Macro for fault injection
Advancing Secure & Safe IoT and Edge Computing Platforms: Lessons from LoLiPoP IoT and SuzECK project
Chasing the optimum in replicated in-memory transactional platforms via protocol adaptation
Measuring End-User Availability on the Web: Practical Experience
Mutiny! How Does Kubernetes Fail, and What Can We Do About It?
ICT resilience of power control systems: experimental results from the CRUTIAL testbeds
A User-Perceived Availability Evaluation of a Web Based Travel Agency
A digitalized management mechanism for low-cost low-power multiple-voltage 3D designs
A Tool Suite for Diagnosis and Testing of Software Design Specifications
Real-Time Security Through a TEE
BARLEY: Modelling program behavior with resource usage
CDN Backfired: Amplification Attacks Based on HTTP Range Requests
Verification of soft error detection mechanism through fault injection on hardware emulation platform
On the Trend of Resilience for GPU-Dense Systems
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems
Genetic algorithm based approach for segmented testing
Fault tolerant communication in 3D integrated systems
Introduction to ReSA4CI 2016
Special Session at DSN for the Best Papers from SELSE 2017
Dependability - How does the market value it?
Characterizing and Modeling Reliability of Declustered RAID for HPC Storage Systems
MPC for Securing Internet Infrastructure
FSTR: Funds Skewness Aware Transaction Routing for Payment Channel Networks
Introduction to DISN 2016
Privacy and Security of Connected Vehicles in Intelligent Transportation System
Testing for Software Vulnerability Using Environment Perturbation
HEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications
Model Checking Markov Reward Models with Impulse Rewards
Defects per Million (DPM) Evaluation for a Cloud Dealing with VM Failures Using Checkpointing
Valkyrie: A Response Framework to Augment Runtime Detection of Time-Progressive Attacks
Athena: A Framework for Scalable Anomaly Detection in Software-Defined Networks
Reducing service failures by failure and workload aware load balancing in SaaS clouds
Trusted Software Repair for System Resiliency
Depending on HTTP/2 for Privacy? Good Luck!
Diagnosing applications' I/O behavior through system call observability
An Analysis of Automated Software Diversity Using Unstructured Text Analytics
A Robust Framework for Adaptive Selection of Filter Ensembles to Detect Adversarial Inputs
Deterministic high-speed simulation of complex systems including fault-injection
Secure Live Migration of SGX Enclaves on Untrusted Cloud
Introduction to RADIANCE 2016
Filtering Failure Logs for a BlueGene/L Prototype
Reducing Refresh Power in Mobile Devices with Morphable ECC
Ironstack: Performance, Stability and Security for Power Grid Data Networks
Autonomous Attack Mitigation for Industrial Control Systems
SDC is in the Eye of the Beholder: A Survey and Preliminary Study
Communication Strategies for Heartbeat-Style Failure Detectors in Wireless Ad Hoc Networks
An empirical study of the performance, security and privacy implications of domain name prefetching
50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 - Supplemental Volume
Novelty Detection via Network Saliency in Visual-Based Deep Learning
An Automated Approach to Increasing the Robustness of C Libraries
Delphi: Efficient Asynchronous Approximate Agreement for Distributed Oracles
Simulating Reliability of IoT Networks with RelIoT
Tool: An Efficient and Flexible Simulator for Byzantine Fault-Tolerant Protocols
Detection of Early-Stage Enterprise Infection by Mining Large-Scale Log Data
Performance modeling and benchmarking of bank intermediary business on high-performance fault-tolerant computers
Extreme Protection Against Data Loss with Single-Overlap Declustered Parity
WOSD 2011 the first international workshop on open systems dependability
Program Verification for Rigorous Analysis of Decision Tree Ensembles Against Specifications
Probabilistic quorum systems in wireless ad hoc networks
Design, Implementation, and Performance of Checkpointing in NetSolve
VARIUS-NTV: A microarchitectural model to capture the increased sensitivity of manycores to process variations at near-threshold voltages
A characterization of instruction-level error derating and its implications for error detection
Susceptibility of Autonomous Driving Agents to Learning-Based Action-Space Attacks
Trusted Federated Learning: Towards a Partial Zero-Knowledge Proof Approach
49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24-27, 2019
StageWeb: Interweaving pipeline stages into a wearout and variation tolerant CMP fabric
CAROL: Confidence-Aware Resilience Model for Edge Federations
Evasive bots masquerading as human beings on the web
44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014
Code-Dependent and Architecture-Dependent Reliability Behaviors
NVBitFI: Dynamic Fault Injection for GPUs
An Overview of the Risk Posed by Thermal Neutrons to the Reliability of Computing Devices
Automatic collection of failure data from the iOS platform
When Features Gets Exploited: Functional Abuse and the Future of Industrial Fraud Prevention
Definition of Software Fault Emulation Operators: A Field Data Study
List of Reviewers for PDS
Practical online failure prediction for Blue Gene/P: Period-based vs event-driven
A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage Needs
Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks
Measuring the Effects of Environmental Influences on Object Detection
The Impact of Technology Scaling on Lifetime Reliability
DRIP: A framework for purifying trojaned kernel drivers
Automatic Instruction-Level Software-Only Recovery
Automotive Enhanced Vision Systems - Issues arising from placing users in the loop
DynaMiner: Leveraging Offline Infection Analytics for On-the-Wire Malware Detection
Model-based evaluation of system resilience
Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System
Complementing static and dynamic analysis approaches for better network defense
Long-Term Study of Honeypots in a Public Cloud
N-Way Fail-Over Infrastructure for Reliable Servers and Routers
A Bayesian Networks Based Method for Ship Reliability Assessment
Error injection-based study of soft error propagation in AMD Bulldozer microprocessor module
Blockchain-Based Incentive and Arbitrable Data Auditing Scheme
ParaMedic: Heterogeneous Parallel Error Correction
Online detection of multi-component interactions in production systems
A-ABFT: Autonomous Algorithm-Based Fault Tolerance for Matrix Multiplications on Graphics Processing Units
A Compositional Approach to Monitoring Distributed Systems
49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24-27, 2019, Supplemental Volume
A Framework for Risk Assessment in Augmented Reality-Equipped Socio-Technical Systems
A fast and accurate multi-cycle soft error rate estimation approach to resilient embedded systems design
Implementing e-Transactions with Asynchronous Replication
Masquerade Detection Using Enriched Command Lines
Cyber security problem based on Multi-Objective Distributed Constraint Optimization technique
Performability analysis of RAID10 versus RAID6
HARP: High Availability Registration Platform for Software Defined Infrastructure
Interoperability between Fingerprint Biometric Systems: An Empirical Study
Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony
Combining Error Masking and Error Detection Plus Recovery to Combat Soft Errors in Static CMOS Circuits
Concolic Execution on Small-Size Binaries: Challenges and Empirical Study
IOCheck: A framework to enhance the security of I/O devices at runtime
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller
Marlin: Two-Phase BFT with Linearity
Lucky Read/Write Access to Robust Atomic Storage
Protection of Software-Based Survivability Mechanisms
A Quality Control Engine for Complex Physical Systems
WaRR: A tool for high-fidelity web application record and replay
Synthesis of Interconnection Networks: A Novel Approach
HOURS: Achieving DoS Resilience in an Open Service Hierarchy
Hazard Analysis in Object Oriented Design of Dependable Systems
Detecting vulnerabilities in C programs using trace-based testing