Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. - Sidi Mohamed Beillahi; Eric Keilty; Keerthi Nelaturu; Andreas G. Veneris; Fan Long (ICBC, 2022)

Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain. - Eric Keilty; Keerthi Nelaturu; Anastasia Kastania; Andreas G. Veneris (BRAINS, 2023)

Natural Language-Based Model-Checking Framework for Move Smart Contracts. - Keerthi Nelaturu; Eric Keilty; Andreas G. Veneris (SDS, 2023)