2 papers
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…
stat.AP2021
Influence of Mobility Restrictions on Transmission of COVID-19 in the state of Maryland -- the USA
Nandini Raghuraman, Kartik Kaushik
Background: The novel coronavirus, COVID-19, was first detected in the United States in January 2020. To curb the spread of the disease in mid-March, different states issued mandat…