3 papers
cs.DC2025
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…
cs.LG2025
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…
cs.SE2025
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…