Search Results for author: Pantazis Deligiannis

Found 2 papers, 0 papers with code

Finding Inductive Loop Invariants using Large Language Models

no code implementations14 Nov 2023 Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

Finally, we explore the effectiveness of using an efficient combination of a symbolic tool and an LLM on our dataset and compare it against a purely symbolic baseline.

Studying Ransomware Attacks Using Web Search Logs

no code implementations1 May 2020 Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao

Cyber attacks are increasingly becoming prevalent and causing significant damage to individuals, businesses and even countries.

Cannot find the paper you are looking for? You can Submit a new open access paper.