yusuke1997/dblp-id-title huggingface dataset:
Aaron: An adaptable execution environment
Towards Building Resilient Ensembles against Training Data Faults
Fine-Grained Characterization of Faults Causing Long Latency Crashes in Programs
(Re)-envisioning Approximate Agreement for Distributed Cryptography and Oracles
Electing an Eventual Leader in an Asynchronous Shared Memory System
An SLA-Oriented Capacity Planning Tool for Streaming Media Services
Fex: A Software Systems Evaluator
SuDoku: Tolerating High-Rate of Transient Failures for Enabling Scalable STTRAM
Emergent Structure in Unstructured Epidemic Multicast
Jaca: A Reflective Fault Injection Tool Based on Patterns
GemFI: A Fault Injection Tool for Studying the Behavior of Applications on Unreliable Substrates
POLaR: Per-Allocation Object Layout Randomization
System Misuse Detection Via Informed Behavior Clustering and Modeling
Speaker Orientation-Aware Privacy Control to Thwart Misactivation of Voice Assistants
Securing AI Code Generation Through Automated Pattern-Based Patching
50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2020, Valencia, Spain, June 29 - July 2, 2020
43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013
Keystroke biometrics with number-pad input
Collective Endorsement and the Dissemination Problem in Malicious Environments
Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study
IAM Role Diet: A Scalable Approach to Detecting RBAC Data Inefficiencies
Impact of GPUs Parallelism Management on Safety-Critical and HPC Applications Reliability
Probabilistic QoS Guarantees for Supercomputing Systems
Fluid modeling and control for server system performance and availability
Towards Assessing Representativeness of Fault Injection-Generated Failure Data for Online Failure Prediction
HAMS: High Availability for Distributed Machine Learning Service Graphs
A C/C++ Source-to-Source Compiler for Dependable Applications
Robot Situation and Task Awareness Using Large Language Models and Ontologies
Fault-tolerance characteristics of data center network topologies using fault regions
Low-cost program-level detectors for reducing silent data corruptions
Adaptive Indulgent Consensus
Availability Modelling of Software-Defined Backbone Networks
Efficient Byzantine Broadcast in Wireless Ad-Hoc Networks
Development of a NOEL-V RISC-V SoC Targeting Space Applications
A Triple Core Lock-Step (TCLS) ARM® Cortex®-R5 Processor for Safety-Critical and Ultra-Reliable Applications
Tempest: Towards early identification of failure-prone binaries
Revealing GPUs Vulnerabilities by Combining Register-Transfer and Software-Level Fault Injection
Radiation Sensitivity of High Performance Computing Applications on Kepler-Based GPGPUs
Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation
Evaluating the Security Threat of Firewall Data Corruption Caused by Transient Errors
Lessons Learned in Building a Fault-Tolerant CORBA System
Balancing Privacy and Attack Utility: Calibrating Sample Difficulty for Membership Inference Attacks in Transfer Learning
Practical Experiences with real-world systems: Security in the world of reliable and safe systems
Micro Replication
Privacy-Preserving Deep Learning Computation for Geo-Distributed Medical Big-Data Platforms
Developing Correctly Replicated Databases Using Formal Tools
Shiraz: Exploiting System Reliability and Application Resilience Characteristics to Improve Large Scale System Throughput
Exploring the Long Tail of (Malicious) Software Downloads
PTC: Prefix Tuning CodeT5 for High-Quality Secure Network Measurement Script Generation
Can't Touch This: Consistent Network Updates for Multiple Policies
Vulnerability Dataset Construction Methods Applied To Vulnerability Detection: A Survey
Sanitizing the IoT Cyber Security Posture: An Operational CTI Feed Backed up by Internet Measurements
Integrated end-to-end dependability in the Loris storage stack
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments
You Can Call but You Can't Hide: Detecting Caller ID Spoofing Attacks
SimLane: A Risk-Orientated Benchmark for Lane Detection
Detecting Operational Adversarial Examples for Reliable Deep Learning
Transformation of Failure Propagation Models into Fault Trees for Safety Evaluation Purposes
One-step Consensus with Zero-Degradation
The Join Problem in Dynamic Network Algorithms
Automated Program Diversity Using Program Synthesis
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms
A Simple Characterization of Provably Efficient Prefetching Algorithms
Adaptive on-line software aging prediction based on machine learning
SSIV 2018 Introduction
Enhancing Reliability-Aware Speedup Modelling via Replication
Seamless kernel updates
WideLeak: How Over-the-Top Platforms Fail in Android
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013
Benchmarking the Dependability of Different OLTP Systems
Online Verification through Model Checking of Medical Critical Intelligent Systems
Mitigating Active Attacks Towards Client Networks Using the Bitmap Filter
Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study
Detecting Code Vulnerabilities using LLMs
Resource Management Policies in GPRS Wireless Internet Access Systems
Quantum Computing and Post-Quantum Cryptography: Preparing for the Next Era of Cybersecurity
CAWRM: A remote mirroring system based on AoDI volume
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code
Concilium: Collaborative Diagnosis of Broken Overlay Routes
QoS of Timeout-Based Self-Tuned Failure Detectors: The Effects of the Communication Delay Predictor and the Safety Margin
Workshop on Dependable Software - Tools and Methods - Workshop Abstract
Active-MTSAD: Multivariate Time Series Anomaly Detection With Active Learning
Towards PHP Vulnerability Detection at an Intermediate Language Level
Generative software-based memory error detection and correction for operating system data structures
Secure Distributed DNS
Overdrive Fault Attacks on GPUs
Emµcode: Masking hard faults in complex functional units
Ringing out Fault Tolerance. A New Ring Network for Superior Low-Cost Dependability
Towards Low-Latency Byzantine Agreement Protocols Using RDMA
Assessing and improving the effectiveness of logs for the analysis of software faults
CanvasMirror: Secure Integration of Third-Party Libraries in a WebVR Environment
DARPA: Combating Asymmetric Dark UI Patterns on Android with Run-time View Decorator
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
A methodology for the generation of efficient error detection mechanisms
Characterizing Application Memory Error Vulnerability to Optimize Datacenter Cost via Heterogeneous-Reliability Memory
ScamDetect: Towards a Robust, Agnostic Framework to Uncover Threats in Smart Contracts
Availability study on cloud computing environments: Live migration as a rejuvenation mechanism
GOOFI-2: A tool for experimental dependability assessment
RT Level vs. Microarchitecture-Level Reliability Assessment: Case Study on ARM(R) Cortex(R)-A9 CPU
MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems
SERMiner : A Framework for Early-stage Reliability Estimation for IBM Processors
Programmable SEL Test Monitoring System for Radiation Hardness Assurance
Message from the DSN 2023 Program Chairs
An Online Approach to Estimate Parameters of Phase-Type Distributions
Towards Implementing Multi-Layer Reflection for Fault-Tolerance
ZTE-Predictor: Disk Failure Prediction System Based on LSTM
3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009
Time Machine: Generative Real-Time Model for Failure (and Lead Time) Prediction in HPC Systems
A review of cloud deployment models for e-learning systems
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems
Design of event-based Intrusion Detection System on OpenFlow Network
A Queueing Analysis of Multi-model Multi-input Machine Learning Systems
Safety Verification of Neural Network Controlled Systems
Message from the VERDI Workshop Chairs; DSN-W 2024
Why software hangs and what can be done with it
Near-Realtime Server Reboot Monitoring and Root Cause Analysis in a Large-Scale System
Model-Based Failure Analysis of Journaling File Systems
Detecting Processor Hardware Faults by Means of Automatically Generated Virtual Duplex Systems
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT
A Firewall for Routers: Protecting against Routing Misbehavior
Introduction to RSDA 2016
Automating DRAM Fault Mitigation By Learning From Experience
Experimental Risk Assessment and Comparison Using Software Fault Injection
Boosting Communication Efficiency of Federated Learning's Secure Aggregation
Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems
Performance Analysis of a Hierarchical Failure Detector
Workshop on High-performance Computing Platforms for Dependable Autonomous Systems
High Throughput Total Order Broadcast for Cluster Environments
Manipulating semantic values in kernel data structures: Attack assessments and implications
Fifth Workshop on Hot Topics in System Dependability (HotDep 2009)
Universal Soldier: Using Universal Adversarial Perturbations for Detecting Backdoor Attacks
How Bad Are Wrong Suspicions? Towards Adaptive Distributed Protocols
Neferion: Time Bound, Fail-Safe and Deterministic Propagation of Network Connectivity Policies Across Large Multi-datacenter Networks
Mitigating access-driven timing channels in clouds using StopWatch
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study
Implementation and Performance Evaluation of an Adaptable Failure Detector
An Asset-Based Development Approach for Availability and Safety Analysis on a Flood Alert System
Secure access to network data for mobile network traffic analysis applications
Robust Protection against Fault-Injection Attacks on Smart Cards Implementing the Advanced Encryption Standard
On the Design of Coordination Services for IoT
Built-in fine resolution clipping with calibration technique for high-speed testing by using wireless testers
PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes
SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks
Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues
Masquerade Detection Using Truncated Command Lines
MILR: Mathematically Induced Layer Recovery for Plaintext Space Error Correction of CNNs
Transactional Rollback for Language-Based Systems
WSEC DNS: Protecting recursive DNS resolvers from poisoning attacks
Massive statistical process variations: A grand challenge for testing nanoelectronic circuits
Open Source Hardware: An Opportunity For Critical Systems
Reboot-Based Recovery of Unikernels at the Component Level
Workshop on Model Based Design for Cyber-Physical Systems (MB4CP)
MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy Systems
Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models
Understanding RowHammer Under Reduced Wordline Voltage: An Experimental Study Using Real DRAM Devices
HardSnap: Leveraging Hardware Snapshotting for Embedded Systems Security Testing
Efficiently Detecting All Dangling Pointer Uses in Production Servers
Confidentiality of event data in policy-based monitoring
Comprehensive Java Metadata Tracking for Attack Detection and Repair
Crossing the threshold: Detecting network malfeasance via sequential hypothesis testing
Message from the Performance and Dependability Symposium (PDS) Program Chair
Graphical Security Models and Their Applications
Binary mutation testing through dynamic translation
A System for the Security Protection of Embedded Binary Programs
PRESEnCE: A Framework for Monitoring, Modelling and Evaluating the Performance of Cloud SaaS Web Services
Don't Just BYOD, Bring-Your-Own-App Too! Protection via Virtual Micro Security Perimeters
Measuring IPv6 DNS Reconnaissance Attacks and Preventing Them Using DNS Guard
Deadline-aware scheduling for Software Transactional Memory
Cost-Damage Analysis of Attack Trees
System log pre-processing to improve failure prediction
phpSAFE: A Security Analysis Tool for OOP Web Application Plugins
Reliability and Security Monitoring of Virtual Machines Using Hardware Architectural Invariants
An Approach for Detecting and Distinguishing Errors versus Attacks in Sensor Networks
Performance Evaluation of Dependable Real-Time Communication with Elastic QoS
Failure Analysis of Virtual and Physical Machines: Patterns, Causes and Characteristics
Ditto Processor
Neuraltran: Optimal Data Transformation for Privacy-Preserving Machine Learning by Leveraging Neural Networks
Importance Sampling of Interval Markov Chains
Mixed Strategy Game Model Against Data Poisoning Attacks
Spam detection in voice-over-IP calls through semi-supervised clustering
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Analyses of the Reverse Path Forwarding Routing Algorithm
55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2025, Naples, Italy, June 23-26, 2025
Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures
Assessing the Transferability of Adversarial Patches in Real-World Systems: Implications for Adversarial Testing of Image Recognition Security
A combinatorial approach to network covert communications with applications in Web Leaks
Efficient Byzantine-Tolerant Erasure-Coded Storage
A self-diagnosis technique using Reed-Solomon codes for self-repairing chips
Portable SDN Testbed Prototype
Safe and secure software updates on high-performance embedded systems
SWAMP: Smart Water Management Platform Overview and Security Challenges
Leveraging Time-Frequency Features for Contact Classification and Regression with a Piezoelectric Tactile Skin for Robotic Fingertips
Alternative Route-Based Attacks in Metropolitan Traffic Systems
On the Metrics for Benchmarking Vulnerability Detection Tools
Faster Hash-based Multi-valued Validated Asynchronous Byzantine Agreement
A Closer Look At Modern Evasive Phishing Emails
OnionBots: Subverting Privacy Infrastructure for Cyber Attacks
SPECTRE: A dependable introspection framework via System Management Mode
A Practical Security Evaluation of a Moving Target Defence against Multi-Phase Cyberattacks
Providing Resiliency to Orchestration and Automation Engines in Hybrid Cloud
Detecting Stealth Software with Strider GhostBuster
Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults
Minimal Risk Manoeuvre Strategies for Cooperative and Collaborative Automated Vehicles
On Partial Protection in Groomed Optical WDM Mesh Networks
Observable non-Sybil quorums construction in one-hop wireless ad hoc networks
Fortifying Federated Learning against Membership Inference Attacks via Client-level Input Perturbation
Collaborative Filtering Under a Sybil Attack: Similarity Metrics do Matter!
Evaluating Self-Adaptive Authorisation Infrastructures Through Gamification
Authenticating Mobile Wireless Device Through Per-packet Channel State Information
Design and Evaluation of Routing Schemes for Dependable Real-Time Connections
AI Safety Landscape From short-term specific system engineering to long-term artificial general intelligence
Message from the Dependable Computing and Communications Symposium (DCCS) Program Chair
Optimization of data collection strategies for model-based evaluation and decision-making
Pre-Processing Input Data to Augment Fault Tolerance in Space Applications
Model-based fault injection for failure effect analysis - Evaluation of dependable SRAM for vehicle control units
2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings
VoIP Intrusion Detection Through Interacting Protocol State Machines
AxASRE: A Novel Approach to Approximate Adder Synthesis Results Estimation
Fast Predictive Repair in Erasure-Coded Storage
Towards SDN enabled network control delegation in clouds
AOAB: Optimal and Fair Ordering of Financial Transactions
Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques
From Byzantine fault tolerance to intrusion tolerance (a position paper)
ZugChain: Blockchain-Based Juridical Data Recording in Railway Systems
Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry
SOASales: A SOA System for Research Purposes
A Performability-Oriented Software Rejuvenation Framework for Distributed Applications
A dependability analysis of hardware-assisted polling integrity checking systems
Automatic Recovery Using Bounded Partially Observable Markov Decision Processes
Empirical characterization of uncongested optical lambda networks and 10GbE commodity endpoints
VoiceGuard: An Effective and Practical Approach for Detecting and Blocking Unauthorized Voice Commands to Smart Speakers
A cost-based heterogeneous recovery scheme for distributed storage systems with RAID-6 codes
Studying application-library interaction and behavior with LibTrac
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists
An Integrated Approach for Resilience in Industrial Control Systems
Prompting the Unseen: Detecting Hidden Backdoors in Black-Box Models
What Logs Should You Look at When an Application Fails? Insights from an Industrial Case Study
Discovering and Visualizing Operations Processes with POD-Discovery and POD-Viz
The Power of Evil Choices in Bloom Filters
Poster: Optimizing Tree-based Quorum Certification for BFT Systems at Planetary-Scale
The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices
A Digital Twin Approach to Autonomous Emergency Braking: HiL Testing with Raspberry Pi and Standardized Scenarios
A model for security analysis of smart meters
Hardware-Software Integrated Diagnosis for Intermittent Hardware Faults
Analysing Selfishness Flooding with SEINE
Document Faults: An Extension of the Taxonomy of Dependable and Secure Computing
Fault-tolerant broadcast algorithms for the virtual hypercube topology
Enhancing Information Sharing and Visualization Capabilities in Security Data Analytic Platforms
P4AIG: Circuit-Level Verification of P4 Programs
An Adaptive Algorithm for Efficient Message Diffusion in Unreliable Environments
An Automatic SPIN Validation of a Safety Critical Railway Control System
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability
Practical automated vulnerability monitoring using program state invariants
Inherent Time Redundancy (ITR): Using Program Repetition for Low-Overhead Fault Tolerance
On the Feasibility of Exploiting the USB Power Line for Side-Channel Attacks against Samsung Smartphone Models
Towards Black-Box Anomaly Detection in Virtual Network Functions
SwarmFuzz: Discovering GPS Spoofing Attacks in Drone Swarms
Learnable Encryption with a Diffusion Property
Evaluating Optical Flow Vectors Under Varying Computer-Generated Snow Intensities and Pixel Density for Autonomous Vehicles
IM-Visor: A Pre-IME Guard to Prevent IME Apps from Stealing Sensitive Keystrokes Using TrustZone
A Markov Decision Process Approach for Optimal Data Backup Scheduling
Evaluating the Error Resilience of Parallel Programs
Detection of Invalid Routing Announcement in the Internet
PID-Piper: Recovering Robotic Vehicles from Physical Attacks
Your IoTs Are (Not) Mine: On the Remote Binding Between IoT Devices and Users
Third International Workshop on Data-Centric Dependability and Security (DCDS)
Evaluating the Performability of Systems with Background Jobs
Reducing the "Tax" of Reliability: A Hardware-Aware Method for Agile Data Persistence in Mobile Devices
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, 2023
An efficient XOR-scheduling algorithm for erasure codes encoding
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN Workshops 2022, Baltimore, MD, USA, June 27-30, 2022
Node Failure Detection and Membership in CANELy
Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems
Boundless memory allocations for memory safety and high availability
Minimizing Noise in HyperLogLog-Based Spread Estimation of Multiple Flows
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes
Faster Exact Reliability Computation
Consensus Refined
Modeling Privacy and Tradeoffs in Multichannel Secret Sharing Protocols
A Fault Tolerant Approach to Microprocessor Design
The Best of Both Worlds: A Hybrid Approach to Solve Consensus
Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma
To Detect Stack Buffer Overflow with Polymorphic Canaries
Towards Adaptive Fault Tolerance on ROS for Advanced Driver Assistance Systems
Robust Aggregation Protocols for Large-Scale Overlay Networks
Repairable Fault Tree for the Automatic Evaluation of Repair Policies
Community-based resilient electricity sharing: Optimal spatial clustering
Secure Tera-scale Data Crunching with a Small TCB
ReMlX: Resilience for ML Ensembles using XAI at Inference against Faulty Training Data
Smart Contracts on the Move
DCCS Program Committee
In Production Performance Testing of SDN Control Plane for Telecom Operators
Safety Interventions against Adversarial Patches in an Open-Source Driver Assistance System
ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems
Improving Reliability with Dynamic Syndrome Allocation in Intelligent Software Defined Data Centers
ParaVerser: Harnessing Heterogeneous Parallelism for Affordable Fault Detection in Data Centers
NV-Hypervisor: Hypervisor-Based Persistence for Virtual Machines
Towards Systems Resilience
Improving the Dependability of the ECG Signal for Classification of Heart Diseases
Anomaly-based intrusion detection in software as a service
When Green Computing Meets Performance and Resilience SLOs
Efficient model checking of fault-tolerant distributed protocols
A recurrence-relation-based reward model for performability evaluation of embedded systems
Perspectives on software safety case development for unmanned aircraft
On the Quality of Service of Crash-Recovery Failure Detectors
Dependability Assessment of Safety-Critical System Software by Static Analysis Methods
Revisiting Memory Errors in Large-Scale Production Data Centers: Analysis and Modeling of New Trends from the Field
SIMBA: An Efficient Simulator for Blockchain Applications
SPP: Safe Persistent Pointers for Memory Safety
Time-Window Based Group-Behavior Supported Method for Accurate Detection of Anomalous Users
Systemically Evaluating the Robustness of ML-based IoT Malware Detectors
Cross-Layer Approximations for System-Level Optimizations: Challenges and Opportunities
Survivability quantification of communication services
On the effectiveness of low latency anonymous network in the presence of timing attack
Hardening the Core: Understanding and Detection of XNU Kernel Vulnerabilities
A rigorous approach to the design of resilient cyber-physical systems through co-simulation
An Uncrewed Aerial Vehicle Attack Scenario and Trustworthy Repair Architecture
Dynamic Quarantine of Internet Worms
The SIMBA User Alert Service Architecture for Dependable Alert Delivery
TQEA: Temporal Quantum Error Analysis
Helmet: A resistance drift resilient architecture for multi-level cell phase change memory system
An Integrated Security Framework for GOSS Power Grid Analytics Platform
The time-free approach to Byzantine failure detection in dynamic networks
NPTSN: RL-Based Network Planning with Guaranteed Reliability for In-Vehicle TSSDN
Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks
On/off process modeling of IP network failures
Reliability-Driven Task Assignment in Vehicular Crowdsourcing: A Matching Game