yusuke1997/dblp-id-title huggingface dataset:
Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional Stores
Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection
BlackJack: Hard Error Detection with Redundant Threads on SMT
Fault detection and localization in distributed systems using invariant relationships
Fault Tolerance through Re-Execution in Multiscalar Architecture
Evidence of log integrity in policy-based security monitoring
People-oriented cyber security
Design and development of a proof-of-concept platooning application using the HIDENETS architecture
The Monitor as Key Architecture Element for Safe Self-Driving Cars
Neutron SER Characterization of Microprocessors
Decoding STAR code for tolerating simultaneous disk failure and silent errors
Timeseries-aware Uncertainty Wrappers for Uncertainty Quantification of Information-Fusion-Enhanced AI Models based on Machine Learning
Measuring the Role of Greylisting and Nolisting in Fighting Spam
Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems
Fault Diversity among Off-The-Shelf SQL Database Servers
Automatic Verification and Discovery of Byzantine Consensus Protocols
The Many Conflicting Visions of 'Safety Case'
AutomaDeD: Automata-based debugging for dissimilar parallel tasks
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems
HeapTherapy+: Efficient Handling of (Almost) All Heap Vulnerabilities Using Targeted Calling-Context Encoding
Caching and Prefetching for Improving ORAM Performance
Off-Path Caching for File Versioning in Named Data Networking
Architecture-Level Soft Error Analysis: Examining the Limits of Common Assumptions
A fast restart mechanism for checkpoint/recovery protocols in networked environments
Measurement-based analysis of fault and error sensitivities of dynamic memory
Gate input reconfiguration for combating soft errors in combinational circuits
Digital Cluster Circuits for Reliable Datacenters
Challenges of DB2 Restore in a Distributed Systems Environment and Engineered Solutions
Energy considerations in checkpointing and fault tolerance protocols
2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings
Impact of Malfunction on the Energy Efficiency of Batch Processing Systems
A Strategy for Testing MetaObject Protocols in Reflective Architectures
A Dependable System Architecture for Safety-Critical Respiratory-Gated Radiation Therapy
Formal Foundations for SCONE Attestation
A Parametrizable Template for Approximate Logic Synthesis
Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach
On Predicting Software Intensity Using Wavelets and Nonlinear Regression
Mu-Transaction Sagas in Derecho
Reentrancy Redux: The Evolution of Real-World Reentrancy Attacks on Blockchains
A Reliable 3D MLC PCM Architecture with Resistance Drift Predictor
What Can We Learn from Four Years of Data Center Hardware Failures?
Toward Predictive Diagnostics: Real-Time Digital Twin for Electric Vehicle Power Systems
Fourth workshop on dependable and secure nanocomputing
A Lightweight Mechanism for Dependable Communication in Untrusted Networks
Beyond Detection: Securing Robotic Vehicles
Workshop on Hot Topics in System Depend - Workshop Abstract
Performance and Dependability of Structured Peer-to-Peer Overlays
On the Estimation of Complex Circuits Functional Failure Rate by Machine Learning Techniques
Multi-Consistency Transactional Support for Function-as-a-Service
Composite dependability modeling for in-vehicle networks
On the Cost of Modularity in Atomic Broadcast
An Experimental Evaluation to Determine if Port Scans are Precursors to an Attack
Arming IDS Researchers with a Robotic Arm Dataset
Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers
Detecting Scrapers on E-commerce Websites Using a Reduced Feature Set
Convicting exploitable software vulnerabilities: An efficient input provenance based approach
Practical Experience: Methodologies for Measuring Route Origin Validation
A translation of State Machines to temporal fault trees
Uptime-Optimized Cloud Architecture as a Brokered Service
Privacy leakage in two-party group nearest neighbor queries
Performance-Aware Wi-Fi Problem Diagnosis and Mitigation through Peer-to-Peer Data Sharing
Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software
SIMulation: Demystifying (Insecure) Cellular Network based One-Tap Authentication Services
A Unified Framework for Error Correction in On-chip Memories
Tutorial: LLTFI and the Art of Fault Injection
Towards Automated and Explainable Threat Hunting with Generative AI
Building SWIFI Tools from Temporal Logic Specifications
An Adaptable Rule Placement for Software-Defined Networks
RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks
Omega: a Secure Event Ordering Service for the Edge
Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms
VerifyVFL: Practical Verifiable Vertical Federated Learning
Time-Constrained Failure Diagnosis in Distributed Embedded Systems
Enabling on-line dependability assessment of Android smart phones
Platform-wide deadlock immunity for mobile phones
Detecting Malicious Javascript in PDF through Document Instrumentation
Designing SCIT architecture pattern in a Cloud-based environment
Enhancing application robustness in Infrastructure-as-a-Service clouds
BAAT: Towards Dynamically Managing Battery Aging in Green Datacenters
Federated Unlearning in the Internet of Vehicles
Short-Liveness of Error Propagation in Kernel Can Improve Operating Systems Availability
Distributed Implementation of Wide-Area Monitoring Algorithms for Power Systems Using a US-Wide ExoGENI-WAMS Testbed
RDIS: A recursively defined invertible set scheme to tolerate multiple stuck-at faults in resistive memory
Cross-Layer Soft-Error Resilience Analysis of Computing Systems
Practical and Efficient in-Enclave Verification of Privacy Compliance
Power-performance trade-offs in IaaS cloud: A scalable analytic approach
HDiff: A Semi-automatic Framework for Discovering Semantic Gap Attack in HTTP Implementations
Statistical Approach For Cloud Security: Microsoft Office 365 audit logs case study
On the Selection of Error Model(s) for OS Robustness Evaluation
Real-Time GOOSE Attack Detection in IEC 61850 Substations Using SDN-Based Traffic Inspection
SLAM: Sleep-Wake Aware Local Monitoring in Sensor Networks
Secure Compiler Framework to Design Fault Attack Resistant Software
Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches
Invited talk: Virtual coaches in health care
54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Workshops, Brisbane, Australia, June 24-27, 2024
Fault tolerant WSN-based structural health monitoring
IDTracker: Discovering Illicit Website Communities via Third-party Service IDs
User Interface Dependability through Goal-Error Prevention
The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings
Autonomous Driving System : Model Based Safety Analysis
Road Decals as Trojans: Disrupting Autonomous Vehicle Navigation with Adversarial Patterns
Adaptive Low-Power Architecture for High-Performance and Reliable Embedded Computing
Reliability Techniques for RFID-Based Object Tracking Applications
Beyond Control: Embracing Emergent Behavior in Symbiotic Digital Twin and CPS Ecosystems
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules
Message from the Performance and Dependability Symposium (PDS) Program Co-Chairs
Microprocessor Sensitivity to Failures: Control vs Execution and Combinational vs Sequential Logic
Joint Panel - IPDS and Workshop on Dependability Benchmarking
Intrusion Detection System with Domain-incremental Continual Learning
An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live Values
Xception? - Enhanced Automated Fault-Injection Environment
A New Rolling Stock Architecture Using Safety Computers and Networks
Integration of U-space Safety Assessment Methodologies With Experimentation
Smart-TV Security Analysis: Practical Experiments
Catch You With Cache: Out-of-VM Introspection to Trace Malicious Executions
Network and Vehicle Digital Twins for Hardware in the Loop Simulation of C-ITS Applications
Patching the Cracks: Detecting and Addressing Adversarial Examples in Real-World Applications
Safeguarding academic accounts and resources with the University Credential Abuse Auditing System
A programming model for resilience in extreme scale computing
Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28 - July 1, 2010
TinyChecker: Transparent protection of VMs against hypervisor failures with nested virtualization
Assurance of Software-Intensive Medical Devices: What About Mental Harm?
Hybrid Control Network Intrusion Detection Systems for Automated Power Distribution Systems
On finding vestiges of Internet backbone failures for optimizing wide area data replication
Checking Array Bound Violation Using Segmentation Hardware
Multi-Objective Optimization for an Online Re-Planning of Autonomous Vehicles
Experiences with Building Disaster Recovery for Enterprise-Class Clouds
Analysis and solutions to issue queue process variation
Dynamic content web applications: Crash, failover, and recovery analysis
A Matter of Trust: Verification of Security and Performance for Network Platform as a Service
On reliability analysis of leader election protocols for virtual traffic lights
A passive approach to wireless device fingerprinting
First Workshop on the Design of Self-Managing Systems
Dynamic Scalable State Machine Replication
General Probability in Coq
IVSign: Interpretable Vulnerability Signature via Code Embedding and Static Analysis
Robustness and Security Hardening of COTS Software Libraries
Generic Timing Fault Tolerance using a Timely Computing Base
Enhanced Dependability Evaluation Through Krylov Methods and Matrix Functions: The Case of Load-Sharing Systems
BAR primer
An end-to-end approach for the automatic derivation of application-aware error detectors
Scaling Byzantine Fault-Tolerant Replication toWide Area Networks
47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017
A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform
Qualitative performance control in supervised IT infrastructures
Osprey: Operating system for predictable clouds
Third workshop on dependable and secure nanocomputing
A message-logging protocol for multicore systems
OI-RAID: A Two-Layer RAID Architecture towards Fast Recovery and High Reliability
Enhanced Reliability Modeling of RAID Storage Systems
Characterizing Modern GPU Resilience and Impact in HPC Systems: A Case Study of A100 GPUs
Mapping software faults with web security vulnerabilities
Zipr: Efficient Static Binary Rewriting for Security
Cybersecurity Pathways Towards CE-Certified Autonomous Forestry Machines
LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis
ML-Based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault Injection
Min-Max Checkpoint Placement under Incomplete Failure Information
Formal Development of an Embedded Verifier for Java Card Byte Code
AI Agent-based Adaptive Task Offloading for Autonomous Drones in Dynamic Environments
Diverse Partial Memory Replication
Treaty: Secure Distributed Transactions
Reliable Communication in Overlay Networks
Overhaul: Input-Driven Access Control for Better Privacy on Traditional Operating Systems
KAR: Key-for-Any-Route, a Resilient Routing System
EndBox: Scalable Middlebox Functions Using Client-Side Trusted Execution
Towards Rehosting Embedded Applications as Linux Applications
Assurance Based Development of Critical Systems
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System
Workshop on Dependability Benchmarking
Assessing the Validity of LLM-Driven Hazard Analysis: An Assessor's Perspective
Coordination of Mobile Processes with Mobile Groups
Quantitative Evaluation of QoS Prediction in IoT
Support for Mobility and Fault Tolerance in Mykil
CEC: Continuous eventual checkpointing for data stream processing operators
A log mining approach to failure analysis of enterprise telephony systems
ZCover: Uncovering Z-Wave Controller Vulnerabilities Through Systematic Security Analysis of Application Layer Implementation
Alpha Entanglement Codes: Practical Erasure Codes to Archive Data in Unreliable Environments
Highly Comprehensive and Efficient Memory Safety Enforcement with Pointer Tagging
A Reinforcement Learning Approach to Automatic Error Recovery
Catch Me If You Can: A Cloud-Enabled DDoS Defense
Reliability assessment of FreeRTOS in Embedded Systems
YODA: Covert Communication Channel over Public DNS Resolvers
Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems
Stress balancing to mitigate NBTI effects in register files
Association Rule Mining with Differential Privacy
Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks
Bounding Peer-to-Peer Upload Traffic in Client Networks
In-Vehicle Real-Time Fog Computing
Fault model of foreign function interface across different domains
LiveGuard: Voice Liveness Detection via Wavelet Scattering Transform and Mel Spectrogram Scaling
Formal Verification for Safe AI-based Flight Planning for UAVs *
Fast IPv6 Network Periphery Discovery and Security Implications
Multi-level Anomaly Detection in Industrial Control Systems via Package Signatures and LSTM Networks
Ensembles of Models for Automated Diagnosis of System Performance Problems
Toward an understanding of the processing delay of peer-to-peer relay nodes
N-Version Machine Learning Models for Safety Critical Systems
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence
UPA: An Automated, Accurate and Efficient Differentially Private Big-Data Mining System
Architecting resilient computing systems: Overall approach and open issues
ConfEx: Towards Automating Software Configuration Analytics in the Cloud
PAROLE: Profitable Arbitrage in Optimistic Rollup with ERC-721 Token Transactions
Incinerator - Eliminating Stale References in Dynamic OSGi Applications
Privacy from 5 PM to 6 AM: Tracking and Transparency Mechanisms in the HbbTV Ecosystem
CATI: Context-Assisted Type Inference from Stripped Binaries
Back to the future: N-Versioning of Microservices
Resilience modeling by means of a set of recursive functions
Cost-Effective Configuration of Content Resiliency Services Under Correlated Failures
TrustICE: Hardware-Assisted Isolated Computing Environments on Mobile Devices
Managing business health in the presence of malicious attacks
Engineering Over-Clocking: Reliability-Performance Trade-Offs for High-Performance Register Files
Retrospectively Documenting SAFEGUARD's Possession of the Overarching Properties
CloudPD: Problem determination and diagnosis in shared dynamic clouds
Evaluating the Safety Impact of Network Disturbances for Remote Driving with Simulation-Based Human-in-the-Loop Testing
Entropy-Based Security Analytics: Measurements from a Critical Information System
Report generation for simulation traces with Traviando
Toward dependability benchmarking of partitioning operating systems
A fault-tolerant directory-based cache coherence protocol for CMP architectures
PDS Reviewers
IPMES+: Enhancing Incremental TTP Detection with Frequency and Flow Semantics
On rootkit and malware detection in smartphones
A study of the internal and external effects of concurrency bugs
Formal Assurance Arguments: A Solution in Search of a Problem?
A Data-Centric Approach to Checksum Reuse for Array-Intensive Applications
Integrating Recovery Strategies into a Primary Substation Automation System
A new symbolic approach for network reliability analysis
Iteratively Checking Program Properties Involving Non-Boolean Values
StatSym: Vulnerable Path Discovery through Statistics-Guided Symbolic Execution
Targeted Privacy Attacks by Fingerprinting Mobile Apps in LTE Radio Layer
Reward Tuning for self-adaptive Policy in MDP based Distributed Decision-Making to ensure a Safe Mission Planning
KingFisher: Unveiling Insecurely Used Credentials in IoT-to-Mobile Communications
Be My Guest: Welcoming Interoperability into IBC-Incompatible Blockchains
Bridging the Gap: A Study of AI-based Vulnerability Management between Industry and Academia
Privacy Leakage from Logits Attack and its Defense in Federated Distillation
JGRE: An Analysis of JNI Global Reference Exhaustion Vulnerabilities in Android
Daric: A Storage Efficient Payment Channel With Penalization Mechanism
Crash Data Collection: A Windows Case Study
Poster: Agree to Disagree: Revisiting the Comparison of (Multi-)Paxos and Raft
Mash-IF: Practical information-flow control within client-side mashups
Validation of hardware error recovery mechanisms for the SPARC64 V microprocessor
Evaluating the Impact of Limited Resource on the Performance of Flooding in Wireless Sensor Networks
DeviceVeil: Robust Authentication for Individual USB Devices Using Physical Unclonable Functions
Secure Identification of Actively Executed Code on a Generic Trusted Component
An ETSI ITS-enabled Robotic Scale Testbed for Network-Aided Safety-Critical Scenarios
CAVEAT: A Tool for Software Validation
Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework
Poisoning Online Learning Filters by Shifting on the Move
Evaluating the Condition-Based Approach to Solve Consensus
ExtraTime: Modeling and analysis of wearout due to transistor aging at microarchitecture-level
ECHAIN: Securing Electronic Device Provenance through Privacy-Preserving Consortium Blockchains
Self-Organizing Systems with Self-Diagnosability
Analysis of bugs in Apache Virtual Computing Lab
DyDroid: Measuring Dynamic Code Loading and Its Security Implications in Android Applications
Run-Time Fault Detection in Monitor Based Concurrent Programming
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
Multi-Metric SMT-Based Evaluation of Worst-Case-Error for Approximate Circuits
Bridging the Safety Gap: A C-ITS Solution for Protecting Vulnerable Road Users
Leaky DNN: Stealing Deep-Learning Model Secret with GPU Context-Switching Side-Channel
Track-Based Disk Logging
Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications
ZLB: A Blockchain to Tolerate Colluding Majorities
DisTA: Generic Dynamic Taint Tracking for Java-Based Distributed Systems
K2: Reading Quickly from Storage Across Many Datacenters
Tomographic Measuring Sensors System for Analysis and Visualization of Technological Processes
Distributing Trust on the Internet
BigMap: Future-proofing Fuzzers with Efficient Large Maps
An automated technique to support the verification and validation of simulation models
The Quantitative Risk Norm - A Proposed Tailoring of HARA for ADS
Availability Measurement and Modeling for An Application Server
On the Placement of Software Mechanisms for Detection of Data Errors
Lock-free transactional support for large-scale storage systems
Reliability for Networked Storage Nodes
Understanding and Analyzing Interconnect Errors and Network Congestion on a Large Scale HPC System
Assuring Fully Autonomous Vehicles Safety by Design: The Autonomous Vehicle Control (AVC) Module Strategy
Stealthy Peers: Understanding Security and Privacy Risks of Peer-Assisted Video Streaming
Distributed object storage rebuild analysis via simulation with GOBS
Federated Learning-Based Approach for Landslide Prediction - the Case Study in Taiwan
A Multi-Resolution Approach for Worm Detection and Containment
Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing
Robustness Benchmarking for Hardware Maintenance Events
Heading Controller for a Fixed Wing UAV with Reduced Control Surfaces Based on ANFIS
DrawNet++: A Flexible Framework for Building Dependability Models
Voiceprint: A Novel Sybil Attack Detection Method Based on RSSI for VANETs
Grid-Oriented Process Clustering System for Partial Message Logging
An Analysis of Malicious Packages in Open-Source Software in the Wild
IoT Anomaly Detection Via Device Interaction Graph
Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques
Correlating failures with asynchronous changes for root cause analysis in enterprise environments
Read Disturbance in High Bandwidth Memory: A Detailed Experimental Study on HBM2 DRAM Chips
The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013
Solving Atomic Broadcast with Indirect Consensus
Mining Multivariate Discrete Event Sequences for Knowledge Discovery and Anomaly Detection
Pay or Not Pay? A Game-Theoretical Analysis of Ransomware Interactions Considering a Defender's Deception Architecture
Invited talk: A model and simulation for user-centric automation devices and systems
REESE: A Method of Soft Error Detection in Microprocessors
Ephemeral Exit Bridges for Tor
DDR5 DRAM Faults in the Field
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2018, Luxembourg, June 25-28, 2018
F-DETA: A Framework for Detecting Electricity Theft Attacks in Smart Grids
BEAT-Traffic: a Blockchain-Enabled infrastructure for Anonymous-yet-Traceable Traffic reporting
A General Framework for Scalability and Performance Analysis of DHT Routing Systems
Enhancing Software Dependability and Security with Hardware Supported Instruction Address Space Randomization
LFI: A practical and general library-level fault injector
Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework
Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system
EncDBDB: Searchable Encrypted, Fast, Compressed, In-Memory Database Using Enclaves
pSigene: Webcrawling to Generalize SQL Injection Signatures
HeapTherapy: An Efficient End-to-End Solution against Heap Buffer Overflows
PassFlow: Guessing Passwords with Generative Flows
CloudSkulk: A Nested Virtual Machine Based Rootkit and Its Detection
Generation of Stressmarks for Early Stage Soft-Error Modeling
Scalable Byzantine fault-tolerant storage
Cleaning the NVD: Comprehensive Quality Assessment, Improvements, and Analyses
Fuzz Testing for Automotive Cyber-Security
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks
Beyond Component Failures: Safety Challenges in Complex Maritime Control Systems
DSN 2007 Workshops
Reducing Recovery Time in a Small Recursively Restartable System
Scalable deferred update replication
Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components
PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use
Design with low complexity fine-grained Dual Core Lock-Step (DCLS) RISC-V processors
PagPassGPT: Pattern Guided Password Guessing via Generative Pretrained Transformer
Improving DRAM Fault Characterization through Machine Learning
Dependability-Aware Design Space Exploration for Optimal Synthesis Parameters Tuning
Randomized Intrusion-Tolerant Asynchronous Services
Exploiting Non-Determinism for Reliability of Mobile Agent Systems
DIWANS: Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks
Scalable Robustness
HoVer Erasure Codes For Disk Arrays