yusuke1997/dblp-id-title huggingface dataset:
An algorithmic approach to error localization and partial recomputation for low-overhead fault tolerance
Transient fault models and AVF estimation revisited
A practical failure prediction with location and lead time for Blue Gene/P
Evaluating Performance and Dependability of Blockchain Protocols with Diablo
Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment
Survey on security threats and protection mechanisms in embedded automotive networks
A Combinatorial Method for the Evaluation of Yield of Fault-Tolerant Systems-on-Chip
Scalable security analysis in hierarchical attack representation model using centrality measures
Using Data Integrity as an Improvement Characteristic to Assess the Safety of ADS-B-based Systems
Partitioned Containers: Towards Safe Clouds for Industrial Applications
RoboADS: Anomaly Detection Against Sensor and Actuator Misbehaviors in Mobile Robots
How'd Security Benefit Reverse Engineers? : The Implication of Intel CET on Function Identification
Leveraging ECC to Mitigate Read Disturbance, False Reads and Write Faults in STT-RAM
A security evaluation of a novel resilient web serving architecture: Lessons learned through industry/academia collaboration
Stateful Data Delivery Service for Wide Area Monitoring and Control Applications
Decoupling Dynamic Information Flow Tracking with a dedicated coprocessor
An empirical investigation of fault repairs and mitigations in space mission system software
Why is my smartphone slow? On the fly diagnosis of underperformance on the mobile Internet
Implementing Simple Replication Protocols using CORBA Portable Interceptors and Java Serialization
The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report)
Towards an understanding of anti-virtualization and anti-debugging behavior in modern malware
BAYWATCH: Robust Beaconing Detection to Identify Infected Hosts in Large-Scale Enterprise Networks
Process-Oriented Non-intrusive Recovery for Sporadic Operations on Cloud
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems
IB-RAR: Information Bottleneck as Regularizer for Adversarial Robustness
Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection
54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024, Brisbane, Australia, June 24-27, 2024
SecureCloud: Secure Big Data Processing in Untrusted Clouds
On Security Vulnerabilities in Transportation IoT Devices
Model-Based Membership Verification in Vehicular Platoons
Recovery in Fault-Tolerant Distributed Microcontrollers
Performance Sensitive Replication in Geo-distributed Cloud Datastores
Fitting second-order acyclic Marked Markovian Arrival Processes
Advantages in Crash Severity Prediction Using Vehicle to Vehicle Communication
Towards Fuzzing Target Lines
Fairness and Transparency of Machine Learning for Trustworthy Cloud Services
Synchronous Consensus with Mortal Byzantines
An Application Agnostic Defense Against the Dark Arts of Cryptojacking
GoCast: Gossip-Enhanced Overlay Multicast for Fast and Dependable Group Communication
Neutralization of Errors and Attacks in Wireless Ad Hoc Networks
Towards Continuous Availability of Internet Services through Availability Domains
Enhancing IoT Security and Privacy with Trusted Execution Environments and Machine Learning
Experiences with formal specification of fault-tolerant file systems
Analysis of a Markov decision process model for intrusion tolerance
Energy-efficient fault tolerance in chip multiprocessors using Critical Value Forwarding
A Novel Approach for Fitting Probability Distributions to Real Trace Data with the EM Algorithm
A Framework for Evaluating Storage System Dependability
Pragmatic Fault Tolerance for Railway Control and Safety Protection of the Channel Tunnel
Automated Synthesis of Multitolerance
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2022, Baltimore, MD, USA, June 27-30, 2022
A Statistical Analysis of Attack Data to Separate Attacks
LLMPrism: Black-box Performance Diagnosis for Production LLM Training Platforms
Reversible Fault-Tolerant Logic
Verifying Web Applications Using Bounded Model Checking
W.C. Carter Award
Real-Time Estimation of Event-Driven Traffic Latency Distributions when Layered on Static Schedules
Analyzing the Performance of the Inter-Blockchain Communication Protocol
Automated vulnerability discovery in distributed systems
Approximate analysis of blocking queueing networks with temporal dependence
The Anacapa System
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021
Enabling sophisticated analyses of ×86 binaries with RevGen
Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems
LAGER: Layer-wise Graph Feature Extractor for Network Intrusion Detection
Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007)
Recursive virtual machines for advanced security mechanisms
Fabricated Flips: Poisoning Federated Learning without Data
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks
A Fast Rejuvenation Technique for Server Consolidation with Virtual Machines
Evaluating Blockchain Fault Tolerance with Stabl
Who is peeping at your passwords at Starbucks? - To catch an evil twin access point
Experiences with a CANoe-based fault injection framework for AUTOSAR
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM)
KubeFence: Security Hardening of the Kubernetes Attack Surface
An Experimental Study of Security Vulnerabilities Caused by Errors
A Systematic Way to Incorporate Security in Safety Analysis
Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows
Finding stable cliques of PlanetLab nodes
Transparent TCP Connection Failover
Enhanced server fault-tolerance for improved user experience
Level of confidence evaluation and its usage for Roll-back Recovery with Checkpointing optimization
A Decentralized Algorithm for Erasure-Coded Virtual Disks
Defeating Memory Corruption Attacks via Pointer Taintedness Detection
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models
Formalizing Model Inference of MicroPython
From assessment to standardised benchmarking: Will it happen? What could we do about it?
PDS Steering and Program Committees
Joza: Hybrid Taint Inference for Defeating Web Application SQL Injection Attacks
Personalized Cryptography Algorithms - A Comparison Between Classic and Cognitive Methods
Why PCs Are Fragile and What We Can Do About It: A Study of Windows Registry Problems
A Large-Scale System for Real-Time Glucose Monitoring
Reliability of flat XOR-based erasure codes on heterogeneous devices
1 st workshop on fault-tolerance for HPC at extreme scale FTXS 2010
Software-Implemented Fault Detection for High-Performance Space Applications
LITEWORP: A Lightweight Countermeasure for the Wormhole Attack in Multihop Wireless Networks
Reducing the Cost of Group Communication with Semantic View Synchrony
Definition and Specification of Accrual Failure Detectors
PoDSy 2003: Principles of Dependable Systems
Detecting malicious landing pages in Malware Distribution Networks
Service-Based Resilience for Embedded IoT Networks
Lifeguard: Local Health Awareness for More Accurate Failure Detection
High performance state-machine replication
Implementation of self-healing asynchronous circuits at the example of a video-processing algorithm
Reaching Data Confidentiality and Model Accountability on the CalTrain
Warped-Shield: Tolerating Hard Faults in GPGPUs
An analysis of signature overlaps in Intrusion Detection Systems
A Margin Based Early-Stopping Approach for Random Forest Classifiers
ICR: In-Cache Replication for Enhancing Data Cache Reliability
Detecting stealthy P2P botnets using statistical traffic fingerprints
GnuZero: A Compiler-Based Zeroization Static Detection Tool for the Masses
A logic for model-checking mean-field models
Evaluation of the Maximum Level Reached by a Queue Over a Finite Period
NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming
Software Faults Emulation at Model-Level: Towards Automated Software FMEA
The Effect of Motion on PPG Heart Rate Sensors
Distributed Object Middleware to Support Dependable Information Sharing between Organisations
SBFT: A Scalable and Decentralized Trust Infrastructure
Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application
The Strength of Weak Randomization: Easily Deployable, Efficiently Searchable Encryption with Minimal Leakage
SDNShield: Reconciliating Configurable Application Permissions for SDN App Markets
Improving the dependability of FPGA-based real-time embedded systems with partial dynamic reconfiguration
CyberGSN: A Semi-formal Language for Specifying Safety Cases
Using Digital Twins as an Upgrade Path for Critical Infrastructure Control Systems
Application Performance using End-to-End User Level Monitoring
FHE ML Tuxedo: A Tailored Wrapper Architecture for Homomorphic Encryption in Machine Learning
Towards Automated Generation of Smart Grid Cyber Range for Cybersecurity Experiments and Training
Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic
Assessing the Elephant in the Room in Scheduling for Current Hybrid HPC-QC Clusters
Study of the effects of SET induced faults on submicron technologies
2 nd workshop on open resilient human-aware cyber-physical systems
Message from the DCCS program chair
ammBoost: State Growth Control for AMMs
Replicating Human Immune System via Harmonic Radar: A Framework and Preliminary Results in Thwarting Cyber-physical Attacks
A Model of Stateful Firewalls and Its Properties
Modeling time correlation in passive network loss tomography
A Low-cost Fault Corrector for Deep Neural Networks through Range Restriction
ETMCC: Model Checking Performability Properties of Markov Chains
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams
Deceptive Secret Sharing
Tabby: Automated Gadget Chain Detection for Java Deserialization Vulnerabilities
MobiCeal: Towards Secure and Practical Plausibly Deniable Encryption on Mobile Devices
Improving System Dependability with Functional Alternatives
SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects
5 th Workshop on recent advances in intrusion-tolerant systems WRAITS 2011
Privacy Disclosure through Smart Meters: Reactive Power Based Attack and Defense
Pleiades: Distributed Structural Invariants at Scale
Investigating DNS traffic anomalies for malicious activities
Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM)
Soft Error Sensitivity Characterization for Microprocessor Dependability Enhancement Strategy
FTSPM: A Fault-Tolerant ScratchPad Memory
Fault Tolerance Connectors for Unreliable Web Services
Modeling and Quantification of Security Attributes of Software Systems
Pitfalls of Provably Secure Systems in Internet the Case of Chronos-NTP
How Fast Can Eventual Synchrony Lead to Consensus?
Run-Time Reconfiguration for Emulating Transient Faults in VLSI Systems
WOSD 2011: The first international workshop on open systems dependability
A Real-Time Network Traffic Profiling System
Test-Point Insertion to Enhance Test Compaction for Scan Designs
Latency-Aware Leader Selection for Geo-Replicated Byzantine Fault-Tolerant Systems
TIBFIT: Trust Index Based Fault Tolerance for Arbitrary Data Faults in Sensor Networks
Optimizing Buffer Management for Reliable Multicast
Simulation-based Fault Injection in Advanced Driver Assistance Systems Modelled in SUMO
Real-Time Digital Filtering for IoT Data in Programmable Network Switches
Inferring, Characterizing, and Investigating Internet-Scale Malicious IoT Device Activities: A Network Telescope Perspective
Analyzing the process of installing rogue software
Towards secure monitoring and control systems: Diversify!
Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software
Optimizing the Pulsing Denial-of-Service Attacks
Δ-Encoding: Practical Encoded Processing
Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain
Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance
Machine Learning Analysis of Memory Images for Process Characterization and Malware Detection
Secure Data Provenance in Internet of Vehicles with Verifiable Credentials for Security and Privacy
RADICS: Runtime Assurance of Distributed Intelligent Control Systems
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2025 - Supplemental Volume, Naples, Italy, June 23-26, 2025
Performability of Algorithms for Connection Admission Control
VNsnap: Taking snapshots of virtual networked environments with minimal downtime
TDSC: Two-Stage DDoS Detection and Defense System Based on Clustering
RISC-V Timing-Instructions for Open Time-Triggered Architectures
fuzzyPSM: A New Password Strength Meter Using Fuzzy Probabilistic Context-Free Grammars
An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
Workshop on Dependability Issues on SDN and NFV (DISN)
49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN (Industry Track) 2019, Portland, OR, USA, June 24-27, 2019
Obfuscated VBA Macro Detection Using Machine Learning
ZOE: Content-Based Anomaly Detection for Industrial Control Systems
ATTAQ: Adversarial Robustness of Quantum Machine Learning
Experience: Evaluating Real-Time Drone OS Under Extreme and Adversarial Environment
Enhanced Cybersecurity Monitoring in Multi-Plant Flexible Manufacturing Environments
BenchIoT: A Security Benchmark for the Internet of Things
Workshop on Empirical Evaluation of Dependability and Security (WEEDS)
Concurrent Error Detection in Fast Unitary Transform Algorithms
Modeling Composition of Cloud Services with Complex Dependencies for Availability Assessment
Design and Evaluation of FA-MPI, a Transactional Resilience Scheme for Non-blocking MPI
AI-Augmented Parameter Initialization for QAOA
Towards resiliency in embedded medical monitoring devices
Parallel Error Detection Using Heterogeneous Cores
Exploiting monotonicity and symmetry for efficient simulation of highly dependable systems
Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV
Hierarchical Model and Sensitivity Analysis for a Cloud-Based VoD Streaming Service
TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions
Negotiating PQC for DNSSEC
Moonshot: Optimizing Block Period and Commit Latency in Chain-Based Rotating Leader BFT
Integrating Groundwater Level Forecasting Models into Climate Risk Assessment for Adaptive Water Resource Management: A Case Study of Tainan, Taiwan
Web Services Wind Tunnel: On Performance Testing Large-Scale Stateful Web Services
SIDE: Isolated and efficient execution of unmodified device drivers
An Experimental Analysis of RowHammer in HBM2 DRAM Chips
Background Buster: Peeking through Virtual Backgrounds in Online Video Calls
Combined performance and risk analysis for border management applications
Intrusion detection and honeypots in nested virtualization environments
Opportunities and Challenges of Third-Party Sustainment of Critical Software in Dependable Systems
Memory-Conscious Reliable Execution on Embedded Chip Multiprocessors
A practical characterization of a NASA SpaceCube application through fault emulation and laser testing
Cost-Optimization of the IPv4 Zeroconf Protocol
State-of-the-practice in data center virtualization: Toward a better understanding of VM usage
Model-Driven, Logic-Supported Exploratory Dependability Analysis
Real-Time Context-Aware Detection of Unsafe Events in Robot-Assisted Surgery
Cost-Benefit Analysis of Moving-Target Defense in Power Grids
A Design and Implementation of an Assurance Case Language
A Policy Driven AI-Assisted PoW Framework
Utilizing Dynamically Coupled Cores to Form a Resilient Chip Multiprocessor
Invited talk: Challenges in Medical Cyber-Physical Systems
On the Design of Robust Integrators for Fail-Bounded Control Systems
The Design of Wearable Systems: A Shift in Development Effort
Diversity-inspired clustering for self-healing MANETs: Motivation, protocol, and performability evaluation
Exploit Approximation to Support Fault Resiliency in MPI-based Applications
Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions
Workshop on Applied Software Reliability (WASR)
A Typology of Quantum-Classical Faults
AVATAR: A Variable-Retention-Time (VRT) Aware Refresh for DRAM Systems
Prototyping Automotive Smart Ecosystems
A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications
A large-scale study of failures in high-performance computing systems
Fault Localization Using Interventional Causal Learning for Cloud-Native Applications
Federated Anomaly Detection
Modeling and analysing operation processes for dependability
Impact of temperature on hard disk drive reliability in large datacenters
Fast Byzantine Consensus
Cross-layer resilience using wearout aware design flow
A Procedure-Based Dynamic Software Update
Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution
Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report
Goldfish: An Efficient Federated Unlearning Framework
Design and Performance Analysis of Software Defined Networking Based Web Services Adopting Moving Target Defense
On Improving the Robustness of Convolutional Neural Networks using In-Parameter Zero-Space Error Correction Codes
System Call Interposition Without Compromise
Audio Jailbreak Attacks: Exposing Vulnerabilities in SpeechGPT in a White-Box Framework
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-Offs
Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study
POD-Diagnosis: Error Diagnosis of Sporadic Operations on Cloud Applications
Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters
Hands Off the Wheel in Autonomous Vehicles?: A Systems Perspective on over a Million Miles of Field Data
ParEs - A Parameter-Estimation-Tool
pbSE: Phase-Based Symbolic Execution
Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2021, Taipei, Taiwan, June 21-24, 2021
An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets
Ghost Installer in the Shadow: Security Analysis of App Installation on Android
Model-based design, analysis and assessment framework for safety-critical systems
Asteria: Deep Learning-based AST-Encoding for Cross-platform Binary Code Similarity Detection
Model-driven consolidation of Java workloads on multicores
Perturbation-Resistant and Overlay-Independent Resource Discovery
SAFE: Shoulder-surfing attack filibustered with ease
A System Demonstration of ST-TCP
High Throughput Byzantine Fault Tolerance
HIRN: A Hierarchical Intent Refinement Approach for Dependable Network Slicing with Multi-path Resource Allocation
Hallucination Detection in LLMs via Beam Search Sampling and Semantic Consistency Analysis
RSVP: Soft Error Resilient Power Savings at Near-Threshold Voltage Using Register Vulnerability
Improving Recoverability in Multi-tier Storage Systems
Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework
DCCS Reviewers
Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications
Towards Automated Software Testing with Generative Adversarial Networks
SCUC-DSAC: A Data Sharing Access Control Model Based on Smart Contract and User Credit
Runtime Verification of Program Organization Units in Safe Programmable Logic Controller Systems
Warped-RE: Low-Cost Error Detection and Correction in GPUs
Reliability Analysis of Edge Scenarios Using Pedestrian Mobility
SAINTDroid: Scalable, Automated Incompatibility Detection for Android
EXPERT: EXPloiting DRAM ERror Types to Improve the Effective Forecasting Coverage in the Field
Private Browsing Mode Not Really That Private: Dealing with Privacy Breach Caused by Browser Extensions
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice
STBPU: A Reasonably Secure Branch Prediction Unit
FIRestarter: Practical Software Crash Recovery with Targeted Library-level Fault Injection
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip
Workshop on Architecting Dependable Systems (WADS)
Fast Abstracts
Blackbox Attacks on Reinforcement Learning Agents Using Approximated Temporal Information
BBregLocator: A Vulnerability Detection System Based on Bounding Box Regression
NEC: Speaker Selective Cancellation via Neural Enhanced Ultrasound Shadowing
Filtering log data: Finding the needles in the Haystack
Learning from the Good Ones: Risk Profiling-Based Defenses Against Evasion Attacks on DNNs
InjectaBLE: Injecting malicious traffic into established Bluetooth Low Energy connections
Evaluating availability under quasi-heavy-tailed repair times
Eventually k-Bounded Wait-Free Distributed Daemons
Intrusion Tolerance and Anti-Traffic Analysis Strategies For Wireless Sensor Networks
Using correlated surprise to infer shared influence
Attack-Defense Trees with Offensive and Defensive Attributes
Social Puzzles: Context-Based Access Control in Online Social Networks
Fault-Tolerant Execution of Mobile Agents
Consistent BFT Performance for Blockchains
Algorithmic approaches to low overhead fault detection for sparse linear algebra
A Sharper Sense of Self: Probabilistic Reasoning of Program Behaviors for Anomaly Detection with Context Sensitivity
Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems
Intrusion Detection at Scale with the Assistance of a Command-line Language Model
Safeguarding Data Consistency at the Edge
ZK-GanDef: A GAN Based Zero Knowledge Adversarial Training Defense for Neural Networks
SoftArch: An Architecture Level Tool for Modeling and Analyzing Soft Errors
Cryptography-Based Bootstrapping Scheme for Permissionless Sharding Blockchain
BlurNet: Defense by Filtering the Feature Maps
FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned
Maximizing system lifetime by battery scheduling
A Realistic Look At Failure Detectors
Hybrid Convolutional Neural Networks with Reliability Guarantee
Scalable, Uniterruptible Computin
Parallel Randomization for Large Structured Markov Chains
SATIN: A Secure and Trustworthy Asynchronous Introspection on Multi-Core ARM Processors
Assessing Robustness of Web-Services Infrastructures
Evaluation of a Fail-Over Mechanism for 1oo2D Architectures in Highly-Automated Driving
What You See is Not What You Get! Thwarting Just-in-Time ROP with Chameleon
Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue
Scalably Supporting Durable Subscriptions in a Publish/Subscribe System
A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture
Consistency or latency? A quantitative analysis of replication systems based on replicated state machines
Model Checking Dependability Attributes of Wireless Group Communication
On representing knowledge in the dependability domain: a panel discussion
Modeling and Automated Containment of Worms
Fault Tolerant Computation on Ensemble Quantum Computers
Constructing Self-Testable Software Components
WazaBee: attacking Zigbee networks by diverting Bluetooth Low Energy chips
Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions
Efficient Algorithm-Based Fault Tolerance for Sparse Matrix Operations
Second International Workshop on Data-Centric Dependability and Security (DCDS)