yusuke1997/dblp-id-title huggingface dataset:
Process Modelling to Support Dependability Arguments
A Fault-Tolerant Java Virtual Machine
User-Constraint and Self-Adaptive Fault Tolerance for Event Stream Processing Systems
SeGShare: Secure Group File Sharing in the Cloud using Enclaves
Authenticated System Calls
ML-Driven Malware that Targets AV Safety
Energy-Efficient Anomaly Detection in Autonomous Vehicles Using RSNNs
Enforcing dependable operations by model checking a visualization layer
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques
MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures
Machine Learning Analysis of IP ID Applications
The Energy Efficiency of Database Replication Protocols
Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms
Hybrid Firmware Analysis for Known Mobile and IoT Security Vulnerabilities
Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android
BorderPatrol: Securing BYOD using Fine-Grained Contextual Information
2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA
Fundamental Challenges of Cyber-Physical Systems Security Modeling
Techniques and Tools for Runtime Security Monitoring and Analysis of Microservices
Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection
Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices
Design of a Classification Model for a Twitter-Based Streaming Threat Monitor
Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues
Geo-replicated storage with scalable deferred update replication
Draco: Statistical diagnosis of chronic problems in large distributed systems
Delivering Dependability: A Moving Target
LLS: Cooperative integration of wear-leveling and salvaging for PCM main memory
SSIV 2017 Welcome
Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults
KShot: Live Kernel Patching with SMM and SGX
TOSense: We Read, You Click
Adversarial Patch Detection and Mitigation by Detecting High Entropy Regions
Read Disturb Errors in MLC NAND Flash Memory: Characterization, Mitigation, and Recovery
Weather Impact Analysis for UAV-based Deforestation Monitoring Systems
Common Safety Method for Risk Evaluation and Assessment (CSM-RA) and Hazard Analysis Tutorial: Managing Effectively Significant Changes in a Railway System
List of Reviewers for DCCS
Analysis of security data from a large computing organization
An intrusion-tolerant firewall design for protecting SIEM systems
Software Aging and Multifractality of Memory Resources
A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs
SMS Goes Nuclear: Fortifying SMS-Based MFA in Online Account Ecosystem
rgpdOS: GDPR Enforcement By The Operating System
The OLAP and Data Warehousing Approaches for Analysis and Sharing of Results from Dependability Evaluation Experiments
Anomaly? application change? or workload change? towards automated detection of application performance anomaly and change
TagClass: A Tool for Extracting Class-Determined Tags from Massive Malware Labels via Incremental Parsing
Mixing Time and Spatial Redundancy Over Time Sensitive Networking
Revisiting Adversarial Perception Attacks and Defense Methods on Autonomous Driving Systems
Zero-Knowledge Proofs for Blockchains
TEE-Perf: A Profiler for Trusted Execution Environments
TCP covert timing channels: Design and detection
Strategies to Describe and Timely Detect Attacks
An Automotive Cybersecurity Maturity Level Assessment Programme
Traffic grooming in WDM mesh networks with guaranteed survivability
WirelessHART modeling and performance evaluation
Reliability and Survivability in the Reduced Ship?s Crew by Virtual Presence System
Confidence: Its Role in Dependability Cases for Risk Assessment
Looking for Anomalies in Cross-Chain Bridges
On the Limitation of MagNet Defense Against L1-Based Adversarial Examples
Software-Defined Error-Correcting Codes
CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs
BFTRAND: Low-Latency Random Number Provider for BFT Smart Contracts
Phase-based reboot: Reusing operating system execution phases for cheap reboot-based recovery
Studying the Propagation of Failures in SOAs
Generic Accuracy Configurable Matrix Multiplication-Addition Accelerator using HLS
MARITACA: From Textual Use Case Descriptions to Behavior Models
A Distributed State Monitoring Service for Adaptive Application Management
Repairing Security Vulnerabilities Using Pre-trained Programming Language Models
Adversarial Video Captioning
Using Erasure Codes Efficiently for Storage in a Distributed System
Enabling Efficient and Reliable Transition from Replication to Erasure Coding for Clustered File Systems
Hypervisor-assisted application checkpointing in virtualized environments
Decentagram: Highly-Available Decentralized Publish/Subscribe Systems
The Startup Problem in Fault-Tolerant Time-Triggered Communication
Towards Automated Discovery of Crash-Resistant Primitives in Binary Executables
Secure Consensus Generation with Distributed DoH
System Restore in a Multi-cloud Data Pipeline Platform
Increasing the trustworthiness of commodity hardware through software
NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems
Does Your Result Checker Really Check?
A Fault Tolerant Signal Processing Computer
A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-operation
AutoLock: Automatic Design of Logic Locking with Evolutionary Computation
Lightweight cooperative logging for fault replication in concurrent programs
Breaking Geographic Routing Among Connected Vehicles
Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report
CacheMind: Fast performance recovery using a virtual machine monitor
Generic construction of consensus algorithms for benign and Byzantine faults
Hardware Remediation at Scale
Fourth International Workshop on Dependable and Secure Machine Learning - DSML 2021
An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications
On the Emulation of Software Faults by Software Fault Injection
Methuselah Flash: Rewriting Codes for Extra Long Storage Lifetime
SuperGlue: IDL-Based, System-Level Fault Tolerance for Embedded Systems
Test of Time Award; DSN 2024
On limitations of using cloud storage for data replication
On Tracking Information Flows through JNI in Android Applications
Automatic fault characterization via abnormality-enhanced classification
Lucy in the sky without diamonds: Stealing confidential data in the cloud
Benchmarking AI Agents for IT Automation Tasks with ITBench
Integration and evaluation of Multi-Instance-Precommit schemes within postgreSQL
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects
A Statistical Approach for Timed Reachability in AADL Models
Random Mining Group Selection to Prevent 51% Attacks on Bitcoin
Grouping-Based Elastic Striping with Hotness Awareness for Improving SSD RAID Performance
Computing Battery Lifetime Distributions
Predictive Resilience Modeling
Improving dependability of network configuration through policy classification
Edge-Aided V2X Collision Avoidance with Platoons: Towards a Hybrid Evaluation Toolset
A framework for early stage quality-fault tolerance analysis of embedded control systems
Falcon: A Practical Log-Based Analysis Tool for Distributed Systems
Libspector : Context-Aware Large-Scale Network Traffic Analysis of Android Applications
FMEDA-Based Fault Injection and Data Analysis in Compliance with ISO-26262
Risk Assessment and Security Countermeasures for Vehicular Instrument Clusters
Student Forum
Adaptive Gossip-Based Broadcast
General Feature Selection for Failure Prediction in Large-scale SSD Deployment
Input-aware accuracy characterization for approximate circuits
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis
HC-BGP: A light-weight and flexible scheme for securing prefix ownership
Efficient Treatment of Uncertainty in System Reliability Analysis using Importance Measures
Hard Disk Drive Failure Analysis and Prediction: An Industry View
Dependability models for designing disaster tolerant cloud computing systems
The Effects of Algorithmic Diversity on Anomaly Detector Performance
Message from the conference general chair and coordinator
The Effect of Testing on Reliability of Fault-Tolerant Software
Privacy Analysis of Oblivious DNS over HTTPS: a Website Fingerprinting Study
A Markov Reward Model for Reliable Synchronous Dataflow System Design
Message from the PDS program chair
The Concept of a Software-Free Resilience Infrastructure for Cyber-Physical Systems
Doubly-expedited one-step Byzantine consensus
The STAR-Guardian Network for the Protection of Long-Life Cyber-Physical Systems
JSKernel: Fortifying JavaScript against Web Concurrency Attacks via a Kernel-Like Structure
Hot-spot prediction and alleviation in distributed stream processing applications
Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas
A Methodology for Dependability and Performability Analysis in SAM
Industry Session
Middleware Support for Voting and Data Fusion
Towards evaluating the impact of data quality on service applications
Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel
SREPT: A Tool for Software Reliability Estimation and Prediction
PT-Guard: Integrity-Protected Page Tables to Defend Against Breakthrough Rowhammer Attacks
DAVOS: EDA Toolkit for Dependability Assessment, Verification, Optimisation and Selection of Hardware Models
Exploring the Environmental Benefits of In-Process Isolation for Software Resilience
Automating Vulnerability Management in the Software Development Lifecycle
Experimental validation of a fault tolerant microcomputer system against intermittent faults
Software Safety Assessment and Probabilities
An energy efficient circuit level technique to protect register file from MBUs and SETs in embedded processors
GreenFlag: Protecting 3D-Racetrack Memory from Shift Errors
Measuring and Understanding Extreme-Scale Application Resilience: A Field Study of 5, 000, 000 HPC Application Runs
Third International Workshop on Dependable and Secure Machine Learning - DSML 2020
Availability Evaluation of Digital Library Cloud Services
Transparent Redundancy in the Time-Triggered Architecture
R-Opus: A Composite Framework for Application Performability and QoS in Shared Resource Pools
Best of SELSE 2018 Introduction
Byzantine Agreement Service for Cooperative Wireless Embedded Systems
EasyDRAM: An FPGA-based Infrastructure for Fast and Accurate End-to-End Evaluation of Emerging DRAM Techniques
RAVAGE: Robotic Autonomous Vehicles' Attack Generation Engine
Rejuvenation with workload migration
Avoiding common security flaws in composed service-oriented systems
Automatically Fixing C Buffer Overflows Using Program Transformations
On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution
Energy Resilience Modelling for Smart Houses
Unified debugging of distributed systems with Recon
Security through redundant data diversity
Self-Stabilization Workshop
Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems
An Application of Unsupervised Fraud Detection to Passenger Name Records
Practical scrubbing: Getting to the bad sector at the right time
Reliability Testing of Applications on Windows NT
Keynote I: Advances in memory state-preserving fault tolerance
Communix: A framework for collaborative deadlock immunity
BLOCKWATCH: Leveraging similarity in parallel programs for error detection
Anomaly Detection in Energy Performance Certificates - From Oblivious to Enlightened
NFTAPE: Networked Fault Tolerance and Performance Evaluator
OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept
CloudVal: A framework for validation of virtualization environment in cloud infrastructure
Towards an Ontology-Based Definition of Data Anonymization Policy for Cloud Computing and Big Data
Ransomware Threats in Manufacturing Industry: Patterns Based on Dark Web Tor Groups
Dynamic-Distributed Differentiated Service for Multimedia Applications
Portable and Efficient Continuous Data Protection for Network File Servers
Fault-Tolerant Low-Precision DNNs using Explainable AI
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach
Driver performance in the presence of adaptive cruise control related failures: Implications for safety analysis and fault tolerance
iPrism: Characterize and Mitigate Risk by Quantifying Change in Escape Routes
FTP: The Forgotten Cloud
The InterPlanetary File System and the Filecoin Network
Resiliency Challenges in Accelerating Carrier-Grade Networks with SDN
User Discrimination through Structured Writing on PDAs
HIT: Hybrid-Mode Information Flow Tracking with Taint Semantics Extraction and Replay
Exploiting refactoring in formal verification
Guardband Optimization for the Preconditioned Conjugate Gradient Algorithm
Checkpointing of Control Structures in Main Memory Database Systems
The Mystery of the Failing Jobs: Insights from Operational Data from Two University-Wide Computing Systems
Measuring and Exploiting Guardbands of Server-Grade ARMv8 CPU Cores and DRAMs
Towards Secure Metering Data Analysis via Distributed Differential Privacy
Improving SSD reliability with RAID via Elastic Striping and Anywhere Parity
Model-based performance analysis of local re-execution scheme in offloading system
Towards Dynamic End-to-End Privacy Preserving Data Classification
Clock-RSM: Low-Latency Inter-datacenter State Machine Replication Using Loosely Synchronized Physical Clocks
A Lightweight Reputation-Based Mechanism for Incentivizing Cooperation in Decentralized Federated Learning
The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures
Probabilistic Inference for Obfuscated Network Attack Sequences
Network Intrusion Detection Based on Active Semi-supervised Learning
Component Middleware to Support Non-repudiable Service Interactions
Evaluating the Impact of Simultaneous Round Participation and Decentralized Decision on the Performance of Consensus
Performance and availability aware regeneration for cloud based multitier applications
Automatic Generation of Distributed Algorithms with Generative AI
Dependability Benchmarking of Computing Systems - Panel Statement
SymPLFIED: Symbolic program-level fault injection and error detection framework
Assessing the attack resilience capabilities of a fortified primary-backup system
Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use
Rigorous, Effortless and Timely Assessment of Cellular Network Changes
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
Deploying Intrusion-Tolerant SCADA for the Power Grid
Code Change History and Software Vulnerabilities
Diving into Email Bomb Attack
Workshop on Safer Autonomous Systems: Special theme: safety-aware design and validation of autonomous systems
Data-centric Reliability Management in GPUs
Characterization and Exploration of Latch Checkers for Efficient RAS Protection
How to Model Link Failures: A Perception-Based Fault Model
Processor-Level Selective Replication
HeteroCheckpoint: Efficient Checkpointing for Accelerator-Based Systems
Blue Banana: resilience to avatar mobility in distributed MMOGs
Statically Detecting JavaScript Obfuscation and Minification Techniques in the Wild
Bonsai: Efficient Fast Failover Routing Using Small Arborescences
Reproducible Dependability Benchmarking Experiments Based on Unambiguous Benchmark Setup Descriptions
UniPHY: Unified Physical Layer Security for LPWANs
An Architectural Approach to Preventing Code Injection Attacks
Leveraging State Information for Automated Attack Discovery in Transport Protocol Implementations
A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium
Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions
Introduction to the fifth workshop on dependable and secure nanocomputing
Quantum Computing Reliability: Problems, Tools, and Potential Solutions
Architecting reliable multi-core network-on-chip for small scale processing technology
DNAttest: Digital-twin-based Non-intrusive Attestation under Transient Uncertainty
Enabling Security Checking of Automotive ECUs with Formal CSP Models
DRAM Scaling Error Evaluation Model Using Various Retention Time
An adaptive approach to dependable circuits for a digital power control
Keynote: Detecting cognitive state for operators of cyber-physical systems: Design of experiments
An Evaluation of Connectivity in Mobile Wireless Ad Hoc Networks
How secure are networked office devices?
Taming Mr Hayes: Mitigating signaling based attacks on smartphones
Vulnerability & attack injection for web applications
alidating the Intel® Pentium® 4 Microprocessor
Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation
Network traffic anomaly detection based on growing hierarchical SOM
Automatically Generating Rules of Malicious Software Packages via Large Language Model
Localizing Function Errors in Mobile Apps with User Reviews
How Different are the Cloud Workloads? Characterizing Large-Scale Private and Public Cloud Workloads
Intrusion Tolerance for Networked Systems through Two-Level Feedback Control
Classifying Virtual Machine Managers by Overhead
Detouring: Translating software to circumvent hard faults in simple cores
Fatih: Detecting and Isolating Malicious Routers
TAaMR: Targeted Adversarial Attack against Multimedia Recommender Systems
54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2024 - Supplemental Volume, Brisbane, Australia, June 24-27, 2024
Mitigating Front-Running Attacks through Fair and Resilient Transaction Dissemination
Challenges and Pitfalls of Partitioning Blockchains
Robust Software - No More Excuses
Dependability and the Grid: Issues and Challenges
ADAM-CS: Advanced Asynchronous Monotonic Counter Service
Online Payments by Merely Broadcasting Messages
OS diversity for intrusion tolerance: Myth or reality?
Dependable LQNS: A Performability Modeling Tool for Layered Systems
Towards Shielding 5G Control Plane Functions
Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation
Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)
Toward Intrusion Tolerance as a Service: Confidentiality in Partially Cloud-Based BFT Systems
System safety as an emergent property in composite systems
Automatically Constructing Peer Slices via Semanticand Context-Aware Security Checks in the Linux Kernel
Persistent-State Checkpoint Comparison for Troubleshooting Configuration Failures
Reliable mission deployment in vulnerable distributed systems
Deep Validation: Toward Detecting Real-World Corner Cases for Deep Neural Networks
A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems
On Benchmarking the Dependability of Automotive Engine Control Applications
Specification-Based Protocol Obfuscation
51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021 - Supplemental Volume
A unified model for timing speculation: Evaluating the impact of technology scaling, CMOS design style, and fault recovery mechanism
Dependability Analysis of Virtual Memory Systems
Automated System Design for Availability
Combining intrusion detection and recovery for enhancing system dependability
Analysis of Probabilistic Trapezoid Protocol for Data Replication
A non-volatile microcontroller with integrated floating-gate transistors
RADIANCE Welcome
Lightweight Memory Checkpointing
Detecting Sybil nodes in wireless networks with physical layer network coding
Workshop on Architecting Dependable Systems (WADS 2009)
Implementing the ADVISE security modeling formalism in Möbius
ContainerLeaks: Emerging Security Threats of Information Leakages in Container Clouds
Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems
On Predictive Modeling of Multi-Bit Upsets for Emulated Fault Injection
Timed Uniform Consensus Resilient to Crash and Timing Faults
Detecting resource leaks through dynamical mining of resource usage patterns
Sources of Variation in Error Sensitivity Measurements, Significant or Not?
A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing
Resource and virtualization costs up in the cloud: Models and design choices
Future prospects of research on security and dependability
Towards Cognitive Security Defense from Data
Processor reliability enhancement through compiler-directed register file peak temperature reduction
Locality matters: Reducing Internet traffic graphs using location analysis
OSIRIS: Efficient and Consistent Recovery of Compartmentalized Operating Systems
Visualizing BFT SMR Distributed Systems - Example of BFT-SMaRt
Classifying Malware Represented as Control Flow Graphs using Deep Graph Convolutional Neural Network
Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles
Information Leakage in Encrypted Deduplication via Frequency Analysis
Benchmarking Anomaly-Based Detection Systems
Secure Intrusion-tolerant Replication on the Internet
Scheduling algorithms for unpredictably heterogeneous CMP architectures
Flexible multicast authentication for time-triggered embedded control network applications
Diverse Compiling for Software-Based Recovery of Permanent Faults in COTS Processors
Dependable Initialization of Large-Scale Distributed Software
MalTAG: Encrypted Malware Traffic Detection Framework via Graph Based Flow Interaction Mining
Failure Resilience for Device Drivers
Keynote: Toward vehicle automation ADAS, the new challenges
FragDroid: Automated User Interface Interaction with Activity and Fragment Analysis in Android Applications
IBBE-SGX: Cryptographic Group Access Control Using Trusted Execution Environments
Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast
A cloud-based intrusion detection and response system for mobile phones
Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers
Determining Fault Tolerance of XOR-Based Erasure Codes Efficiently
A Statistical Learning Model with Deep Learning Characteristics
Secure MMU: Architectural support for memory isolation among virtual machines
Formal Analysis for Dependable Supervisory Control and Data Acquisition in Smart Grids
Online Reconfiguration in Replicated Databases Based on Group Communication
CFGExplainer: Explaining Graph Neural Network-Based Malware Classification from Control Flow Graphs
Towards a Theory of Insider Threat Assessment
What Vulnerability Do We Need to Patch First?
Exploring the Potential for Collaborative Data Compression and Hard-Error Tolerance in PCM Memories
Mining Historical Issue Repositories to Heal Large-Scale Online Service Systems
A Checkpointing Tool for Palm Operating System
Intrusion Detection Systems Using Quantum-Inspired Density Matrix Encodings
Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes
AUTOSAR for Connected and Autonomous Vehicles: The AUTOSAR Adaptive Platform
Branching Bisimulation and Concurrent Object Verification
Diverse Firewall Design
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
OWL: Understanding and Detecting Concurrency Attacks
Seventh workshop on hot topics in system dependability (HotDep'11)
WearMon: Reliability monitoring using adaptive critical path testing
Analyzing the effects of disk-pointer corruption
A novel design of node-disjoint multi-path QoS routing in multi-hop ad hoc networks
50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020
Securing In-Network Traffic Control Systems with P4Auth