yusuke1997/dblp-id-title huggingface dataset:
Securing Mobile Unattended WSNs against a Mobile Adversary
Transparent Fault Tolerance for Stateful Applications in Kubernetes with Checkpoint/Restore
An Evolutionary Algorithm for Identifying Faults in t-Diagnosable Systems
A Multi-step Simulation Approach toward Secure Fault Tolerant System Evaluation
PCTopk: Privacy-and Correctness-Preserving Functional Top-k Query on Un-trusted Data Storage in Two-Tiered Sensor Networks
Versatile Key Management for Secure Cloud Storage
Dependable Pervasive Systems
Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms
The Triangular Lattice Protocol: A Highly Fault Tolerant and Highly Efficient Protocol for Replicated Data
A Statistical Clock Synchronization Algorithm for Anisotropic Networks
The Performance of Consistent Checkpointing
The Fail-Heterogeneous Architectural Model
Impact of Initial Target Position on Performance of UAV Surveillance Using Opportunistic Resource Utilization Networks
A Fault-Tolerant Protocol for Atomic Broadcast
Practical Encoded Processing
Coordinated Forward Error Recovery for Composite Web Services
Location-Based Microblog Viewing System Synchronized with Web Pages
A More Consistent Understanding of Consistency
A Self-Stabilizing Algorithm for the Steiner Tree Problem
Shedding Light on Enterprise Network Failures Using Spotlight
Symbiosis of a Lightweight ECC Security and Distributed Shared Memory Middleware in Wireless Sensor Networks
Enhancing Security and Reliability in Distributed Systems: A Hybrid Approach Integrating Snort Rules and Machine Learning for Anomaly Detection
Autonomic Service-Oriented Architecture for Resilient Complex Systems
A Simulation Analysis of Reliability in Erasure-Coded Data Centers
Implementation and Performance of a Stable-Storage Service in Unix
Harmonizing Repair and Maintenance in LRC-Coded Storage
Finding Almost-Invariants in Distributed Systems
Performance Analysis of the CORBA Notification Service
Device Collaboration for Stability Assurance in Distributed Cyber-Physical Systems
Towards Mobile Data Streaming in Service Oriented Architecture
Optimistic Byzantine Agreement
PULP: Achieving Privacy and Utility Trade-Off in User Mobility Data
Distributed Fault Diagnosis Using Bayesian Reasoning in MAGNETO
Can Reliability and Security be Joined Reliably and Securely?
An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement
Decentralized Local Failure Detection in Dynamic Distributed Systems
Fine-Grained Consistency Upgrades for Online Services
A Theory of Packet Flows Based on Law-of-Mass-Action Scheduling
A Non-Blocking Recovery Algorithm for Causal Message Logging
A Reliable and Secure UNIX Connection Service
Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights
Resource Optimization of Stream Processing in Layered Internet of Things
Local Area Detection of Incoming War Dial Activity
Performance and Effectiveness Analysis of Checkpointing in Mobile Environments
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation
Resilience-Driven Parameterisation of Ad Hoc Routing Protocols: olsrd as a Case Study
pH1: A Transactional Middleware for NoSQL
Cluster-Based Naming for Reliable Distributed Systems
Clock-SI: Snapshot Isolation for Partitioned Data Stores Using Loosely Synchronized Clocks
Design and Implementation of Nested Transactions in Eden
CRUDE: Combining Resource Usage Data and Error Logs for Accurate Error Detection in Large-Scale Distributed Systems
Power-Aware Epidemics
Accelerated Processing of Secure Email by Exploiting Built-in Security Features on the Intel EP80579 Integrated Processor with Intel QuickAssist Technology
A Mult-Paradigm Programming Language for Constructing Fault-Tolerant, Distributed Systems
Representing Faulty Distributed Systems as Nondeterministic Sequential Systems
Detecting TCP-Based DDoS Attacks in Baidu Cloud Computing Data Centers
Revisiting Broadcast Algorithms for Wireless Edge Networks
Defending against Poisoning Attacks in Federated Learning from a Spatial-temporal Perspective
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
Hypervisor-Based Efficient Proactive Recovery
DBFT: A Byzantine Fault Tolerant Protocol with Graceful Performance Degradation
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications
A Reliable Key Authentication Schema for Secure Multicast Communications
AutoFlowLeaker: Circumventing Web Censorship through Automation Services
Processing of Read-Only Queries at a Remote Backup
Robust Application Design in Highly Available Distributed Databases
Diskless Checkpointing with Rollback-Dependency Trackability
Tolerating Compound Threats in Critical Infrastructure Control Systems
Self-Stabilization of the Alternating-Bit Protocol
Testing Reliable Distributed Applications Through Simulated Events
On Privacy-Preserving Cloud Auction
Task Allocation for Optimized System Reliability
Secure and Scalable Replication in Phalanx
Sharing Memory with Semi-Byzantine Clients and Faulty Storage Servers
Resilient Wide-Area Byzantine Consensus Using Adaptive Weighted Replication
Pre-LogMGAE: Identification of Log Anomalies Using a Pre-Trained Masked Graph Autoencoder
Model-Based Validation for Internet Services
Evaluation of Filtering Mechanisms for MPEG Video Communications
Third Symposium on Reliability in Distributed Software and Database Systems, SRDS 1983, Clearwater Beach, FL, USA, October 17-19, 1983, Proceedings
AVCast : New Approaches For Implementing Availability-Dependent Reliability for Multicast Receivers
Fault-tolerant and scalable TCP splice and web server architecture
Model-Based Validation of an Intrusion-Tolerant Information System
The Convoy Effect in Atomic Multicast
Exactly-Once Quantity Transfer
Maintaining Availability of Replicated Data in a Dynamic Failure Environment
Legal Reliability in Large-Scale Distributed Systems
Quality of Service in Business-to-Business E-Commerce Applications
Deterministic Fuzzy Checkpoints
Hybrid-RC: Flexible Erasure Codes with Optimized Recovery Performance and Low Storage Overhead
A Unified Proof of Minimum Time Complexity for Reaching Consensus and Uniform Consensus - An Oracle-Based Approach
DKSM: Subverting Virtual Machine Introspection for Fun and Profit
Reliability Analysis of Disk Array Organizations by Considering Uncorrectable Bit Errors
Vote Assignments in Weighted Voting Mechanisms
Octopus: A Fault-Tolerant and Ef.cient Ad-hoc Routing Protocol
Protect Your Smart Contract Against Unfair Payment
Banking on Decoupling: Budget-Driven Sustainability for HPC Applications on EC2 Spot Instances
PEQ: A Privacy-Preserving Scheme for Exact Query Evaluation in Distributed Sensor Data Networks
Hierarchical Adaptive Distributed System-Level Diagnosis Applied for SNMP-based Network Fault Management
Tolerating Client and Communication Failures in Distributed Groupware Systems
PIP: Privacy and Integrity Preserving Data Aggregation in Wireless Sensor Networks
Toward Access Control Model for Context-Aware Services Offloaded to Cloud Computing
Locating More Corruptions in a Replicated File
HardPaxos: Replication Hardened against Hardware Errors
Towards Identifying Root Causes of Faults in Service-Based Applications
S-Paxos: Offloading the Leader for High Throughput State Machine Replication
Workshop on Reliable Middleware - Foreword
13th Symposium on Reliable Distributed Systems, SRDS 1994, Dana Point, California, USA, October 25-27, 1994, Proceedings
On the Provision of Replicated Internet Auction Services
When and How to Change Quorums on Wide Area Networks
Hardware Support for High Performance, Intrusion- and Fault-Tolerant Systems
Adaptive Routing Scheme for Emerging Wireless Ad Hoc Networks
TrustFS: An SGX-Enabled Stackable File System Framework
From Backup to Hot Standby: High Availability for HDFS
HyperPubSub: Blockchain Based Publish/Subscribe
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation
A Study of the Reliablility of Internet Sites
The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA
Breaking the Scalability Barrier of Causal Broadcast for Large and Dynamic Systems
Workshop on Electronic Commerce - Foreword
Adaptive, Reliable Software for Distributed and Parallel Real-Time Systems
Private Anonymous Messaging
Process Implanting: A New Active Introspection Framework for Virtualization
How To Safeguard Your Sensitive Data
NEEM: Network-Friendly Epidemic Multicast
Implementing Atomic Rendevous within a Transactional Framework
The design, architecture and performance of the Tendermint Blockchain Network
ROI: An Invocation Mechanism for Replicated Objects
Thwarting Data Exfiltration by Repackaged Applications
Assessing data availability of Cassandra in the presence of non-accurate membership
Real-Time-Aware Embedded DSMS Applicable to Advanced Driver Assistance Systems
A Scalable Services Architecture
Exploring Declustered Software RAID for Enhanced Reliability and Recovery Performance in HPC Storage Systems
Analysis of Checkpointing Schemes for Multiprocessor Systems
X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays
IEEE 32nd Symposium on Reliable Distributed Systems, SRDS 2013, Braga, Portugal, 1-3 October 2013
The Notion of Universality in Crash-Prone Asynchronous Message-Passing Systems: A Tutorial
ELT: Efficient Log-based Troubleshooting System for Cloud Computing Infrastructures
Reliable Broadcasting in Faulty Hypercube Computers
Primitives for Accessing Protected Objects
The Effects of Threading, Infection Time, and Multiple-Attacker Collaboration on Malware Propagation
CReW: Cloud Resilience for Windows Guests through Monitored Virtualization
Neural Networks for the Design of Distributed, Fault-Tolerant, Computing Environments
DONUT: Building Shortcuts in Large-Scale Decentralized Systems with Heterogeneous Peer Distributions
Ongoing Fault Diagnosis
Eigthth Symposium on Reliable Distributed Systems, SRDS 1989, Seattle, Washington, USA, October 10-12, 1989, Proceedings
FireSpam: Spam Resilient Gossiping in the BAR Model
An Efficient Decentralized Approach to Processor-Group Membership Maintenance in Real-Time LAN Systems: The PRHB/ED Scheme
A Causal Message Ordering Scheme for Distributed Embedded Real-Time Systems
DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding
Tolerating Visitor Location Register Failures in Mobile Environments
A Technique for Estimating Performance of Fault-Tolerant Programs
An Efficient MPEG Video Encryption Algorithm
Supply Chain Malware Targets SGX: Take Care of what you Sign
Have a Seat on the ErasureBench: Easy Evaluation of Erasure Coding Libraries for Distributed Storage Systems
Fault Tolerance Technology for Autonomous Decentralized Database Systems
Dynamic Management of Highly Replicated Data
Secure Information Forwarding through Fragmentation in Delay-Tolerant Networks
Hard Drive Failure Prediction Using Big Data
Thema: Byzantine-Fault-Tolerant Middleware forWeb-Service Applications
A Scalable and Efficient Correlation Engine to Detect Multi-Step Attacks in Distributed Systems
Service Provision and Composition in Virtual Business Communities
A Signal Processing Approach to Global Predicate Monitoring
Component Replication in Distributed Systems: A Case Study Using Enterprise Java Beans
Geographic State Machine Replication
A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems
Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector
A Distributed Monitoring and Reconfiguration Approach for Adaptive Network Computing
Towards Efficient, Credible and Privacy-Preserving Service QoS Prediction in Unreliable Mobile Edge Environments
Probabilistic Atomic Broadcast
Applying Fault-Tolerance Principles to Security Research
A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains
Self-optimising Application-agnostic Multithreading for Replicated State Machines
PROPS: A PRivacy-Preserving Location Proof System
Self Distributed Query Region Covering in Sensor Networks
On Quantifying the Gradient Inversion Risk of Data Reuse in Federated Learning Systems
Security Mechanisms for using Mobile Agents in Electronic Commerce
Detective-Dee: A Non-Intrusive In Situ Anomaly Detection and Fault Localization Framework
The Commit/Abort Problem in Type-Specific Locking
A Randomized Algorithm for Distributed Consensus
Preventing Orphan Requests in the Context of Replicated Invocation
Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems
What Distributed Systems Say: A Study of Seven Spark Application Logs
Enabling Complete Atomicity for Cross-Chain Applications Through Layered State Commitments
Configurable Highly Availbale Distributed Services
A Synchronization Strategy for a Time-Triggered Multicluster Real-Time System
The Φ Accrual Failure Detector
Incorporation of Security and Fault Tolerance Mechanisms into Real-Time Component-Based Distributed Computing Systems
Challenging Anomaly Detection in Complex Dynamic Systems
Secure Cloud Browser: Model and Architecture to Support Secure WEB Navigation
A Unified Framework for Measuring a Network's Mean Time-to-Compromise
Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance
An Improved ALgorithm for the Symbolic Reliability Analysis of Networks
Efficient Epidemic-Style Protocols for Reliable and Scalable Multicast
Online Behavior Identification in Distributed Systems
Collective Attestation: for a Stronger Security in Embedded Networks
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage
GRADE: Graceful Degradation in Byzantine Quorum Systems
Pessimistic Protocols for Quasi-Partitioned Distributed Database Systems
CloudInsight: Shedding Light on the Cloud
A Practical Guideline to the Implementation of Online Shops
Enforcing Security Policies in Large Scale Communication Networks
Workshop on Reliable Peer-to-Peer Distributed Systems
A Quantitative Comparison of Reactive and Proactive Replicated Storage Systems
An Adaptive Checkpointing Protocol to Bound Recovery Time with Message Logging
Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions
Correlation-Aware Stripe Organization for Efficient Writes in Erasure-Coded Storage Systems
Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing
A Low-Cost Atomic Commit Protocol
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems
Fault Tolerant Locking (FTL) for Tightly Coupled Systems
Using Checkpoints to Localize the Effects of Faults in Distributed Systems
An Effective and Robust Transaction Packaging Approach for Multi-leader BFT Blockchain Systems
TMR Processing without Explicit Clock Synchronization
Characterizing Aging Phenomena of the Java Virtual Machine
A Structured Decision Mechanism for Diverse Software
Communication Architechtures for Fast Reliable Broadcasts
Message from the Symposium Chairs
Communication Protocols for Fault-Tolerant Clock Synchronization in Not-Completely Connected Networks
Using Hidden Semi-Markov Models for Effective Online Failure Prediction
Satem: Trusted Service Code Execution across Transactions
Gateways to Overcome Incompatibilities of Security Mechanisms
21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan
A Secure Access and Accountability Framework for Provisioning Services in Named Data Networks
SNARE: A Strong Security Scheme for Network-Attached Storage
Reliable Broadcast in the Crash-Recovery Model
The 15th Symposium on Reliable Distributed Systems, SRDS 1996, Niagara-on-the-Lake, Ontario, Canada, October 23-25, 1996, Proceedings
A Component-Based Middleware for a Reliable Distributed and Reconfigurable Spacecraft Onboard Computer
Stretch-BFT: Workload-Adaptive and Stretchable Consensus Protocol for Permissioned Blockchain
A Partition-Tolerant Manycast Algorithm for Disaster Area Networks
A Preference Extraction Method Using Installed Applications and Their Descriptions
RADAR: Model Quality Assessment for Reputation-aware Collaborative Federated Learning
Optimal Cyber-Defense Strategies for Advanced Persistent Threats: A Game Theoretical Analysis
Collaborative Stabilization
A Distributed Domino-Effect free recovery Algorithm
Investigating the Existence and the Regularity of Logarithmic Harary Graphs
The Future of Data Replication
Security in the Large: Is Java's Sandbox Scalable?
A Quick and Reliable Routing for Infrastructure Surveillance with Wireless Sensor Networks
Quantifying Temporal and Spatial Correlation of Failure Events for Proactive Management
Achieving Scalability and Load Balance across Blockchain Shards for State Sharding
Preventing Useless Checkpoints in Distributed Computations
ALPS: Authenticating Live Peer-to-Peer Live Streams
Symposium on Reliability in Distributed Software and Database Systems, SRDS 1982, Proceedings. July 1981; Pittsburgh, PA., USA
42nd International Symposium on Reliable Distributed Systems, SRDS 2023, Marrakesh, Morocco, September 25-29, 2023
Transparent Load Sharing in Distributed Systems: Decentralized Design Alternatives Based on the Condor Package
An Algorithm for Fault-Tolerant Clock State and Rate Synchronization
Attack Resistant Network Embeddings for Darknets
Adaptive Erasure Coded Data Maintenance for Consensus in Distributed Networks
vMocity: Traveling VMs Across Heterogeneous Clouds
UDS: A Novel and Flexible Scheduling Algorithm for Deterministic Multithreading
Adjudicators for Diverse-Redundant Components
A Flexible Security Model for Using Internet Content
A Fault Tolerant Algorithm for Distributed Mutual Exclusion
DiveInto: Supporting Diversity in Intrusion-Tolerant Systems
The Paxos Register
The 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS 2014)
Runtime Verification for Distributed Cyber-Physical Systems
An Efficient Algorithm for Causal Message Logging
Adaptive Redundant Data Allocation Using Unused Blocks for Improving Access Efficiency in Dependable Storage Systems
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
Raptor: Integrating Checkpoints and Thread Migration for Cluster Management
Peerswap: A Peer-Sampler with Randomness Guarantees
BROFY: Towards Essential Integrity Protection for Microservices
PhD Forum: Towards Metastable-Failure-Free Distributed Transaction Systems
An Efficient Query Scheme for Hybrid Storage Blockchains Based on Merkle Semantic Trie
Efficient Update Diffusion in Byzantine Environments
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults
A State Machine Approach to Reliable Distributed Systems
Resource-Usage Prediction for Demand-Based Network-Computing
A Software Multilevel Fault Injection Mechanism: Case Study Evaluating the Virtual Interface Architecture
Adaptive Anomaly Identification by Exploring Metric Subspace in Cloud Computing Infrastructures
Probabilistic Internal Clock Synchronization
Strategies for Reliable, Cloud-Based Distributed Real-Time and Embedded Systems
A Client-Transparent Approach to Defend Against Denial of Service Attacks
An Efficient Static Taint-Analysis Detecting Exploitable-Points on ARM Binaries
Randomized Byzantine Agreement
Implementation of RAID
PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems
Dependability Analysis of Distributed Computing Systems using Stochastic Petri Nets
Reliability in Distributed Programming Environments
Runtime Verification for Blockchains
A Practical Experience on Evaluating Intrusion Prevention System Event Data as Indicators of Security Issues
An Analysis of Fault Detection Latency Bounds of the SNS Scheme Incorporated into an Ethernet Based Middleware System
Quantifying Resiliency of IaaS Cloud
A Gambling Approach to Scalable Resource-Aware Streaming
RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks
Transaction Reordering in Replicated Databases
Location-Aware Cache-Coherence Protocols for Distributed Transactional Contention Management in Metric-Space Networks
Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems
Group Multicast in Distributed Mobile Systems with Unreliable Wireless Network
An Active Transcoding Proxy to Support Mobile Web Access
19th IEEE Symposium on Reliable Distributed Systems, SRDS'00, Nürnberg, Germany, October 16-18, 2000, Proceedings
AZ-Recovery: An Efficient Crossing-AZ Recovery Scheme for Erasure Coded Cloud Storage Systems
Cache Injection on Bus Based Multiprocessors
Efficient Distributed Precision Control in Symmetric Replication Environments
Data Distribution Algorithms for Load Banlanced Fault-Tolerant Web Access
Construction of a Distributed System Supporting Atomic Transactions
An Approach to Constructing Modular Fault-Tolerant Protocols
Preserving Context Information in an IPC Abstraction
12th Symposium on Reliable Distributed Systems, SRDS 1993, Princeton, New Jersey, USA, October 6-8, 1993, Proceedings
A Longitudinal Survey of Internet Host Reliability
Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model
The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings
Appia vs. Cactus: Comparing Protocol Composition Frameworks
To Share or Hide: Confidential Model Compilation as a Service with Privacy-Preserving Transparency
Self-Stabilizing Real-Time Rule-Based Systems
A methodology and supporting techniques for the quantitative assessment of insider threats
Building a Reliable Mutable File System on Peer-to-Peer Storage
LogMaster: Mining Event Correlations in Logs of Large-Scale Cluster Systems
A Systematic Differential Analysis for Fast and Robust Detection of Software Aging
An Analytical Framework for Reasoning about Intrusions
Resolving Distributed Deadlocks in the OR Request Model
Fault-Tolerant Total Order Multicast to Asynchronous Groups
A Metaobject Protocol for Fault-Tolerant CORBA Applications
Extending the Coda File System to Handle Cache Misses on Isolated Clients
The Reliability of (k, n)-Resilient Distributed Systems
Recovering Imprecise Transactions with Real-Time Constraints
Performance Virtualization for Large-Scale Storage Systems
Stateful Detection in High Throughput Distributed Systems
Evaluation and Ranking of Replica Deployments in Geographic State Machine Replication
Audinet: A Decentralized Auditing System for Cloud Storage
Approximation Techniques for Maintaining Real-Time Deployments Informed by User-Provided Dataflows within a Cloud
LRRM: A Randomized Reliable Multicast Protocol for Optimizing Recovery Latency and Buffer Utilization
Never Too Late: Tracing and Mitigating Backdoor Attacks in Federated Learning
Trust and Electronic Commerce - More than a Technical Problem
Highly Available Process Support Systems: Implementing Backup Mechanisms
RandSys: Thwarting Code Injection Attacks with System Service Interface Randomization
Fixed Cost Maintenance for Information Dissemination in Wireless Sensor Networks
FullReview: Practical Accountability in Presence of Selfish Nodes
Batch-Schedule-Execute: On Optimizing Concurrent Deterministic Scheduling for Blockchains
Lightweight Fault-Tolerance for Peer-to-Peer Middleware
Scalable and Secure Polling in Dynamic Distributed Networks
An Empirical Study of Denial of Service Mitigation Techniques
Analysis of a Multistage Interconnection Network using Binary Decision Diagrams
11th Symposium on Reliable Distributed Systems, SRDS 1992, Houston, Texas, USA, October 5-7, 1992, Proceedings
Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings
Performance Evaluation of Distributed Concurrency Control Mechanisms
Improvement of the QoS via an Adaptive and Dynamic Distribution of Applications in a Mobile Environment
VMBeam: Zero-Copy Migration of Virtual Machines for Virtual IaaS Clouds
Design and Verification of a Secure Electronic Auction Protocol
Reliable Broadcast for Fault-Tolerance on Local Computer Networks
Ring Network Reliability - The Probablility That All Operative Nodes Can Communicate