2 papers
cs.DC2025
FLsim: A Modular and Library-Agnostic Simulation Framework for Federated Learning
Arnab Mukherjee, Raju Halder, Joydeep Chandra
Federated Learning (FL) has undergone significant development since its inception in 2016, advancing from basic algorithms to complex methodologies tailored to address diverse chal…
cs.SE2024
Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
Kartik Kaushik, Raju Halder, Samrat Mondal
Invariants are essential for ensuring the security and correctness of Solidity smart contracts, particularly in the context of blockchain's immutability and decentralized execution…