Eric Keilty

According to our database, Eric Keilty authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Natural Language-Based Model-Checking Framework for Move Smart Contracts.

Keerthi Nelaturu, Eric Keilty, Andreas G. Veneris

Proceedings of the Tenth International Conference on Software Defined Systems, 2023

Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain.

Eric Keilty, Keerthi Nelaturu, Anastasia Kastania, Andreas G. Veneris

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023

2022

Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts.

Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas G. Veneris, Fan Long

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022