Eric Keilty

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Ordered Binary Decision Diagrams

Process Algebra

Reachability Analysis

Natural Language

Top Venues

Publications

Eric Keilty, Keerthi Nelaturu, Anastasia Kastania, Andreas G. Veneris
Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain. BRAINS (2023)
Keerthi Nelaturu, Eric Keilty, Andreas G. Veneris
Natural Language-Based Model-Checking Framework for Move Smart Contracts. SDS (2023)
Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas G. Veneris, Fan Long
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts. ICBC (2022)