5 papers
Multi-Round Visibility: A Post-Consensus Ordering Layer for DAG-Based BFT
Pengkun Ren, Dong Hai, Nasrin Sohrabi +1
Directed acyclic graph (DAG)-based Byzantine Fault-Tolerant (BFT) protocols achieve high throughput by decoupling dissemination from agreement and allowing many vertices to be comm…
Supporting System Testing with a Multi-Agent LLM-based Framework for Knowledge Graph Extraction: A Case Study with Ethernet Switch Systems
Rongqi Pan, Mahboubeh Dadkhah, Jean Baptiste Minani +3
Technical documents contain rich domain knowledge for automating downstream tasks such as system testing. While this paper focuses on Ethernet switch configuration manuals (ESCMs),…
Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs
Pengkun Ren, Hai Dong, Nasrin Sohrabi +2
Byzantine Fault-Tolerant (BFT) consensus protocols ensure agreement on transaction ordering despite malicious actors, but unconstrained ordering power enables sophisticated value e…
FedLAD: A Linear Algebra Based Data Poisoning Defence for Federated Learning
Qi Xiong, Hai Dong, Nasrin Sohrabi +1
Sybil attacks pose a significant threat to federated learning, as malicious nodes can collaborate and gain a majority, thereby overwhelming the system. Therefore, it is essential t…
Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara +2
Smart contracts can implement and automate parts of legal contracts, but ensuring their legal compliance remains challenging. Existing approaches such as formal specification, veri…