Issue Downloads
Introduction to the Special Collection from PRDC 2023
This is a special issue of Formal Aspects of Computing for the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023).
Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains
Permissionless blockchains commonly use resource challenges to defend against sybil attacks. For example, popular resource challenge designs include Proof-of-Work and Proof-of-Stake. It is well-known that simultaneously exploiting multiple resources can ...
RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs
The communities of blockchains and distributed ledgers have been stirred up by the introduction of zero-knowledge proofs (ZKPs). Originally designed as a solution to privacy issues, ZKPs have now evolved into an effective remedy for scalability concerns. ...
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data
Recently, due to the continued reduction in DNA sequencing cost, large-scale genetic samples are being gathered for accelerating predispositions to specific diseases, tailoring treatment of efficient drugs and therapies, and the like. Massive genetic ...
Empirical Architecture Comparison of Two-input Machine Learning Systems for Vision Tasks
As machine learning models have been deployed in many vision systems, including autonomous vehicles and robots, designing architectures for machine learning systems (MLSs) has emerged as a critical concern. Previous studies have shown that enhancing the ...
Automated Generation of Modular Assurance Cases with the System Assurance Reference Model
Assurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Assurance cases are usually divided into ...
Exploring Scalability of BFT Blockchain Protocols through Network Simulations
Novel Byzantine fault-tolerant (BFT) state machine replication protocols improve scalability for their practical use in distributed ledger technology, where hundreds of replicas must reach consensus. Assessing that BFT protocol implementations meet their ...
PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
The use of remote storage has become prevalent both by organizations and individuals. By relying on third-party storage, such as cloud or peer-to-peer storage services, availability, fault tolerance, and low access latency can be attained in a cost-...
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms
In the cloud computing context, several applications run concurrently over the same underlying physical infrastructure. Phase-based algorithms are key building blocks for many distributed applications such as DBMS or transaction validation services. ...
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
Network telemetry and analytics is essential for providing highly dependable services in modern computer networks. In particular, network flow analytics for internet service provider (ISP) networks allows operators to inspect and reason about traffic ...