yusuke1997/dblp-id-title huggingface dataset:
CSAI-4-CPS: A Cyber Security characterization model based on Artificial Intelligence For Cyber Physical Systems
Smart Maintenance via Dynamic Fault Tree Analysis: A Case Study on Singapore MRT System
A QoS-aware fault tolerant middleware for dependable service composition
Adaptive algorithms for diagnosing large-scale failures in computer networks
FloodGuard: A DoS Attack Prevention Extension in Software-Defined Networks
Examining Failures and Repairs on Supercomputers with Multi-GPU Compute Nodes
Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration
ComFASE: A Tool for Evaluating the Effects of V2V Communication Faults and Attacks on Automated Vehicles
Using Bayesian networks for cyber security analysis
iProve: A scalable technique for consumer-verifiable software guarantees
A Safety Architecture for Centralized E/E Architectures
A Fast Low-Level Error Detection Technique
Exploiting Temporal Data Diversity for Detecting Safety-critical Faults in AV Compute Systems
Practical Asynchronous Distributed Key Generation: Improved Efficiency, Weaker Assumption, and Standard Model
On Incentive Compatible Role-Based Reward Distribution in Algorand
An Overview of Sybil Attack Detection Mechanisms in VFC
WL-Reviver: A Framework for Reviving any Wear-Leveling Techniques in the Face of Failures on Phase Change Memory
Security Risk Growth Models for Software Vulnerability Assessment
ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-Assuring, Hybrid Ecosystem for REsilient Cloud Computing
Discovering and Mitigating New Attack Paths Using Graphical Security Models
Automatic Generation of Availability Models in RAScad
ConfErr: A tool for assessing resilience to human configuration errors
Using likely program invariants to detect hardware errors
Using Intuition from Empirical Properties to Simplify Adversarial Training Defense
Instrumenting AUTOSAR for dependability assessment: A guidance framework
An Adaptive Architecture for Monitoring and Failure Analysis of High-Speed Networks
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015
Designing Security for In-vehicle Networks: A Body Control Module (BCM) Centered Viewpoint
Fault injection-based assessment of aspect-oriented implementation of fault tolerance
Addressing memory exhaustion failures in Virtual Machines in a cloud environment
Approaching certification of complex systems
Decamouflage: A Framework to Detect Image-Scaling Attacks on CNN
Dynamic Verification of End-to-End Multiprocessor Invariants
Analysis of Failure and Recovery Rates in a Wireless Telecommunications System
Combined circuit and microarchitecture techniques for effective soft error robustness in SMT processors
GREAT: Global Representation and Edge-Attention for Hardware Trojan Detection
Plinius: Secure and Persistent Machine Learning Model Training
Optimal Resilience for Erasure-Coded Byzantine Distributed Storage
Assessment of the Effect of Memory Page Retirement on System RAS Against Hardware Faults
Dynamic Byzantine Quorum Systems
BASSET: Enhancing Binary Code Clone Searching through Multi-Level Hybrid Semantic Indexing
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
A Comprehensive Dynamic Quality Assessment Method for Cyber Threat Intelligence
Zab: High-performance broadcast for primary-backup systems
PSP Framework: A novel risk assessment method in compliance with ISO/SAE-21434
Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems
Analysis of Cybersecurity Mechanisms with respect to Dependability and Security Attributes
PyTorchFI: A Runtime Perturbation Tool for DNNs
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders
A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases
Video on Demand Hosted in Private Cloud: Availability Modeling and Sensitivity Analysis
Āpta: Fault-tolerant object-granular CXL disaggregated memory for accelerating FaaS
Second workshop on Compiler and Architectural Techniques for Application Reliability and Security (CATARS)
Libsafe: Transparent System-wide Protection Against Buffer Overflow Attacks
Deterministic Ethernet: Addressing the Challenges of Asynchronous Sensing in Sensor Fusion Systems
Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems
Smart checklists for human-intensive medical systems
2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment
When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid
Physics-Aware Security Monitoring against Structural Integrity Attacks in 3D Printers
Whether the sensitive information statement of the IoT privacy policy is consistent with the actual behavior
Enhancing Survivability of Security Services Using Redundanc
AVFI: Fault Injection for Autonomous Vehicles
Threat Intelligence for Bluetooth-Enabled Systems with Automotive Applications: An Empirical Study
Assured Reconfiguration of Fail-Stop Systems
Troxy: Transparent Access to Byzantine Fault-Tolerant Systems
Don't Knock! Rowhammer at the Backdoor of DNN Models
SCoRe: An across-the-board metric for computer systems resilience benchmarking
No Free Lunch: On the Increased Code Reuse Attack Surface of Obfuscated Programs
Leveraging Transverse Reads to Correct Alignment Faults in Domain Wall Memories
Quantifying the Accuracy of High-Level Fault Injection Techniques for Hardware Faults
Towards understanding the effects of intermittent hardware faults on programs
Efficient High Hamming Distance CRCs for Embedded Networks
Scalable Analysis of Fault Trees with Dynamic Features
1dVul: Discovering 1-Day Vulnerabilities through Binary Patches
Assurance Cases for Security: The Metrics Challenge
Cruz: Application-Transparent Distributed Checkpoint-Restart on Standard Operating Systems
Modeling stream processing applications for dependability evaluation
International Workshop On Application of Intelligent Technology in Security - AITS 2021
7 th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2021
RDMC: A Reliable RDMA Multicast for Large Objects
Unlearning Backdoor Attacks Through Gradient-Based Model Pruning
Predicting Cloud Applications Failures from Infrastructure Level Data
Characterization of Linux Kernel Behavior under Errors
Effective Topology Tampering Attacks and Defenses in Software-Defined Networks
Advanced Pattern Recognition for Detection of Complex Software Aging Phenomena in Online Transaction Processing Servers
ReCraft: Self-Contained Split, Merge, and Membership Change of Raft Protocol
A Useful Parametric Family to Characterize NHPP-based Software Reliability Models
Migrating SGX Enclaves with Persistent State
Attacks on tomorrow's virtual world
Optimizing Large-Scale Fault Injection Experiments through Martingale Hypothesis: A Systematic Approach for Reliability Assessment of Safety-Critical Systems
Zero-Interference Containers: A Framework to Orchestrate Mixed-Criticality Applications
RECAST: Random Entanglement for Censorship-Resistant Archival STorage
Sharing end-user negative symptoms for improving overlay network dependability
Avis: In-Situ Model Checking for Unmanned Aerial Vehicles
Predicting Incident Reports for IT Help Desk
RAVE: Replicated antivirus engine
Balancing Security and Performance for Agility in Dynamic Threat Environments
Secure Split Assignment Trajectory Sampling: A Malicious Router Detection System
Evaluating repair strategies for a water-treatment facility using Arcade
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process
System Call Redirection: A Practical Approach to Meeting Real-World Virtual Machine Introspection Needs
Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report
Implementing Flexible Object Group Invocation in Networked Systems
Network Message Field Type Clustering for Reverse Engineering of Unknown Binary Protocols
A robust and lightweight stable leader election service for dynamic systems
Workshop on Assurance of Networking Systems Dependability Service Level Agreements - Workshop Abstract
Reliability Analysis of Fault-Tolerant Systems with Common-Cause Failures
Hierarchical Model-Based Approach for Concurrent Testing of Neuromorphic Architecture
Coverage of a microarchitecture-level fault check regimen in a superscalar processor
The architecture of a resilience infrastructure for computing and communication systems
Using web security scanners to detect vulnerabilities in web services
Experimental Evaluation of a User-Centered Unilateral Telemanipulation System for Training and Control in Robotic Industrial Scenarios
Investigating the Impact of High-Level Software Design on Low-Level Hardware Fault Resilience
Demonstrating a Tool for Injection Attack Prevention in MySQL
Rethinking BFT: Leveraging Diverse Software Components with LLMs
Mitigating False Positives in DGA Detection for Non-English Domain Names
Implementation of Failure Detector Based on Network Function Virtualization
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Detection Algorithm of the Mimicry Attack based on Variational Auto-Encoder
Efficient eventual consistency in Pahoehoe, an erasure-coded key-blob archive
Detecting selfish carrier-sense behavior in WiFi networks by passive monitoring
Safety modeling and evaluation of Automated Highway Systems
Can We Trust the Privacy Policies of Android Apps?
A virtual resource placement service
Hard Drive Failure Prediction Using Classification and Regression Trees
Dynamic State Partitioning in Parallelized Byzantine Fault Tolerance
Foreword for the Industry Track
Analysis of Second-Order Markov Reward Models
ChatScam: Unveiling the Rising Impact of ChatGPT on Domain Name Abuse
A Virtual Fault Injection Framework for Reliability-Aware Software Development
Spatio-Temporal Split Learning
KubeChecker: Detecting Configuration Bugs in Container Orchestration
4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010
An information-theoretic approach to detecting performance anomalies and changes for large-scale distributed web services
Get off my prefix! the need for dynamic, gerontocratic policies in inter-domain routing
Tiny Black Boxes: A nano-Drone Safety Architecture
Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance
Real-Time Intrusion Detection and Prevention with Neural Network in Kernel Using eBPF
Autonomous Maneuver Coordination Via Vehicular Communication
Experiences with Group Communication Middleware
Profiling Memory Vulnerability of Big-Data Applications
Big Data, Transmission Errors, and the Internet
IPMES: A Tool for Incremental TTP Detection Over the System Audit Event Stream
Impact of Software Approximations on the Resiliency of a Video Summarization System
Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems
SEVulDet: A Semantics-Enhanced Learnable Vulnerability Detector
Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach
Experience with 3 SDN Controllers in an Enterprise Setting
Code-M: A non-MDS erasure code scheme to support fast recovery from up to two-disk failures in storage systems
ROSE: : FTTransform - A source-to-source translation framework for exascale fault-tolerance research
On the Quality of Service of Failure Detectors
Evaluation and Mitigation of Soft-Errors in Neural Network-Based Object Detection in Three GPU Architectures
Towards self-timed logic in the Time-Triggered Protocol
A study of fault-tolerance characteristics of data center networks
Exploiting diverse observation perspectives to get insights on the malware landscape
Behavioral aspects for agent-based models of resilient urban systems
Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover
HDP code: A Horizontal-Diagonal Parity Code to Optimize I/O load balancing in RAID-6
Reconfiguration Strategies for Critical Adaptive Distributed Embedded Systems
Invoke-Deobfuscation: AST-Based and Semantics-Preserving Deobfuscation for PowerShell Scripts
IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
Novel CAN Bus Fuzzing Framework for Finding Vulnerabilities in Automotive Systems
Hunting Killer Tasks for Cloud System through Behavior Pattern Learning
Sensor-Based Implicit Authentication of Smartphone Users
Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation
On the effectiveness of structural detection and defense against P2P-based botnets
Honeypot-Aware Advanced Botnet Construction and Maintenance
Uniform node sampling service robust against collusions of malicious nodes
An empirical study of the robustness of Inter-component Communication in Android
The Master and Parasite Attack
Techniques for Estimation of Design Diversity for Combinational Logic Circuits
5 th Workshop on Recent Advances in Intrusion-Tolerant Systems WRAITS 2011
DATAFLASKS: An epidemic dependable key-value substrate
Power-Capping Aware Checkpointing: On the Interplay Among Power-Capping, Temperature, Reliability, Performance, and Energy
Decoding DNS Centralization: Measuring and Identifying NS Domains Across Hosting Providers
WS-DREAM: A distributed reliability assessment Mechanism for Web Services
A Formal-Specification Based Approach for Protecting the Domain Name System
PDGraph: A Large-Scale Empirical Study on Project Dependency of Security Vulnerabilities
Robustness Testing of the Microsoft Win32 API
QUIC-Aware Load Balancing: Attacks and Mitigations
Harnessing Unreliable Cores in Heterogeneous Architecture: The PyDac Programming Model and Runtime
Mr. Fusion: A Programmable Data Fusion Middleware Subsystem with a Tunable Statistical Profiling Service
On localization attacks to Internet Threat Monitors: An information-theoretic framework
On The Local Sensitivity Analysis for Phase Expansion
On-Line Detection of Control-Flow Errors in SoCs by Means of an Infrastructure IP Core
Ring Paxos: A high-throughput atomic broadcast protocol
Dependable connection setup for network capabilities
MimeoDroid: Large Scale Dynamic App Analysis on Cloned Devices via Machine Learning Classifiers
Assessing the Attack Threat due to IRC Channels
Data fusion-base anomay detection in networked critical infrastructures
How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones
Revenue Maximization of a Slice Broker in the Presence of Byzantine Faults
Exception triggered DoS attacks on wireless networks
Error detector placement for soft computation
Intrusion Injection for Virtualized Systems: Concepts and Approach
Chaser: An Enhanced Fault Injection Tool for Tracing Soft Errors in MPI Applications
Robustness Testing and Hardening of CORBA ORB Implementations
Stateless Security Risk Assessment for Dynamic Networks
Comparing the effects of intermittent and transient hardware faults on programs
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
Incremental quantitative verification for Markov decision processes
Heuristics for optimizing matrix-based erasure codes for fault-tolerant storage systems
ReFace: Adversarial Transformation Networks for Real-time Attacks on Face Recognition Systems
See applications run and throughput jump: The case for redundant computing in HPC
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach
Xprobe2++: Low volume remote network information gathering tool
PANDA: Practical Adversarial Attack Against Network Intrusion Detection
Towards Reliability Assessment of Systolic Arrays against Stuck-at Faults
Scheduling for performance and availability in systems with temporal dependent workloads
Parity++: Lightweight Error Correction for Last Level Caches
H-RAFT - Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL
Byzantine Fault-Tolerant Atomic Multicast
DSN 2007 Tutorials
The Impact of DNS Insecurity on Time
DeepICS: Deep Causal Relationship Modeling for Multi-Source Log-Based Anomaly Detection in Industrial Control Systems
Improving Log-based Field Failure Data Analysis of multi-node computing systems
Transparent dynamic binding with fault-tolerant cache coherence protocol for chip multiprocessors
Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling
White-Box Atomic Multicast
An Integrated Digital Twin Architecture for Real-Time Urban Air Quality Management
Epiphany: A location hiding architecture for protecting critical services from DDoS attacks
Component-Level ASIL Decomposition for Automotive Architectures
Performance problems online detection in cloud computing systems via analyzing request execution paths
Feedback Redundancy: A Power Efficient SEU-Tolerant Latch Design for Deep Sub-Micron Technologies
An Approach for Peer-to-Peer Federated Learning
NonStop® Advanced Architecture
A Novel Variable Ordering Heuristic for BDD-based K-Terminal Reliability
Robustness Testing of the Windows DDK
Low Power Streaming of Sensor Data Using Gray Code-Based Approximate Communication
vWitness: Certifying Web Page Interactions with Computer Vision
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network
Comparing Detection Capabilities of AntiVirus Products: An Empirical Study with Different Versions of Products from the Same Vendors
Uncovering Dynamic Fault Trees
Scalable Fault-Tolerant Aggregation in Large Process Groups
Performance Validation of Fault-Tolerance Software: A Compositional Approach
Autonomous Emergency Braking: A System-of-Systems perspective
Torpedo: A Fuzzing Framework for Discovering Adversarial Container Workloads
Detecting Failures of Neural Machine Translation in the Absence of Reference Translations
A scalable availability model for Infrastructure-as-a-Service cloud
Coercing clients into facilitating failover for object delivery
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees
JURY: Validating Controller Actions in Software-Defined Networks
Digital Twins for Trustworthy Autonomy
An integrated approach to resource pool management: Policies, efficiency and quality metrics
Compiler-Directed Program-Fault Coverage for Highly Available Java Internet Services
Using Register Lifetime Predictions to Protect Register Files against Soft Errors
49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2019, Portland, OR, USA, June 24-27, 2019
Experimental Evaluation of a COTS System for Space Application
Predicting Remediations for Hardware Failures in Large-Scale Datacenters
Workshop on proactive failure avoidance, recovery and maintenance (PFARM)
Measuring Resiliency through Field Data: Techniques, Tools and Challenges
A Dataset of Linux Failure Data for Dependability Evaluation and Improvement
Lazy Checkpointing: Exploiting Temporal Locality in Failures to Mitigate Checkpointing Overheads on Extreme-Scale Systems
Cheap Paxos
Evaluating the impact of Undetected Disk Errors in RAID systems
Generating Cloud Monitors from Models to Secure Clouds
Hardware Telemetry at Scale: A Case Study on SSDs Endurance Monitoring in Datacenters
Model-based Qualitative Dependability and Security Evaluation : Half-Day Tutorial
Defending against VM rollback attack
Deadlock Resolution via Exceptions for Dependable Java Applications
An Architectural Framework for Providing Reliability and Security Support
An empirical investigation of fault types in space mission system software
On the Resilience of INT8 Quantized Neural Networks on Low-Power RISC-V Devices
GTV: Generating Tabular Data via Vertical Federated Learning
Improving Intelligent Vehicle Dependability by Means of Infrastructure-Induced Tests
A low-tech solution to avoid the severe impact of transient errors on the IP interconnect
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
PUPPIES: Transformation-Supported Personalized Privacy Preserving Partial Image Sharing
DomainProfiler: Discovering Domain Names Abused in Future
DDoShield-IoT: A Testbed for Simulating and Lightweight Detection of IoT Botnet DDoS Attacks
One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems
Continuous authentication for mouse dynamics: A pattern-growth approach
The case for dynamic security solutions in public cloud workflow deployments
Quantifying the Reliability of Embedded Systems by Automated Analysis
A view on the past and future of fault injection
Exploiting Latency and Error Tolerance of GPGPU Applications for an Energy-Efficient DRAM
Twin Workshops on Architecting Dependable Systems (WADS 2004)
A security analysis of Amazon's Elastic Compute Cloud service
Tempest: Soft state replication in the service tier
Understanding Interoperability Issues of Web Service Frameworks
A Versatile and Modular Consensus Protoco
DSN 2016 Tutorial: Resilience for Scientific Computing: From Theory to Practice
Security Threat Analytics and Countermeasure Synthesis for Power System State Estimation
Protecting Cryptographic Keys from Memory Disclosure Attacks
Detecting and tolerating data corruptions due to device driver defects
Fault isolation for device drivers
On the Correctness of Metadata-Based SBOM Generation: A Differential Analysis Approach
Finite horizon analysis of infinite CTMDPs
Protecting Confidential Virtual Machines from Hardware Performance Counter Side Channels
Network-Attack-Resilient Intrusion-Tolerant SCADA for the Power Grid
Automating the debugging of datacenter applications with ADDA
Test-Based Interoperability Certification for Web Services
Automated duplicate detection for bug tracking systems
IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012
A Practical Analysis of Low-Density Parity-Check Erasure Codes for Wide-Area Storage Applications
Reliable, Efficient Recovery for Complex Services with Replicated Subsystems
CERTS 2018 Introduction
GoldenEye: A Platform for Evaluating Emerging Numerical Data Formats in DNN Accelerators
Business Meeting: IEEE Technical Committee on Fault Tolerance
Sensitive Instruction Detection Based on the Context of IoT Sensors
EMER-GO: real-time grip enhanced speed advisory for emergency intelligent transportation systems
Elastic Parity Logging for SSD RAID Arrays
Accurate fault prediction of BlueGene/P RAS logs via geometric reduction
Detecting Attacks Against Safety-Critical ADAS Based on In-Vehicle Network Message Patterns
The KARYON project: Predictable and safe coordination in cooperative vehicular systems
Model checking CSL TA with Deterministic and Stochastic Petri Nets
Tailoring and Verification of the Trust Boundaries in a Heterogeneous TEE Landscape
Deep&Wide: Achieving Area Efficiency in Scalable Approximate Accelerators
An Experimental Characterization of Combined RowHammer and RowPress Read Disturbance in Modern DRAM Chips
Scalable State-Machine Replication
Human-AI Interaction Implementation in Consolidate Digital Environments Through a Collaborative and Multidisciplinary Design Approach
SemiAF: Semi-Supervised App Fingerprinting on Unknown Traffic via Graph Neural Network
FRTR: A Scalable Mechanism for Global Routing Table Consistency
Glitching Demystified: Analyzing Control-flow-based Glitching Attacks and Defenses
Welcome Message from the General Chair and Conference Coordinator
Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System
The Design and Implementation of an Intrusion Tolerant System
Diagnosis of Regular Structures
To Protect the LLM Agent Against the Prompt Injection Attack with Polymorphic Prompt
Study of Appropriate Information Combination in Image-based Obfuscated Malware Detection