Kent State University — United States
Computer Science · Physical Sciences
8h-index237citations28works0.82yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Security and Verification in Computing(15), Advanced Malware Detection Techniques(14), Distributed systems and fault tolerance(5), Web Application Security Vulnerabilities(5), Logic, programming, and type systems(3)
Publications28 total
Lecture notes in computer science·2025
2024· 1 citedOpen Access
Proceedings of the ACM on Programming Languages·2024· 2 citedOpen Access
Foundations and Trends® in Programming Languages·2023Open Access
2023· 5 citedOpen Access
arXiv (Cornell University)·2022Open Access
Journal of Computer Security·2021· 2 cited
Proceedings of the ACM on Programming Languages·2021· 23 citedOpen Access
Kent Academic Repository (University of Kent)·2020· 1 citedOpen Access
A Type-theory for Higher-order Amortized Cost Analysis
2020
Journal of Computer Security·2019· 6 cited
Proceedings of the ACM on Programming Languages·2019· 14 citedOpen Access
Artifact Digital Object Group·2018
2018· 25 citedOpen Access
Kent Academic Repository (University of Kent)·2017· 1 citedOpen Access
ACM SIGLOG News·2017· 10 citedOpen Access
Lecture notes in computer science·2017· 8 citedOpen Access
2016· 11 citedOpen Access
page 1 of 2Next →
Frequent Co-authors
Deepak Garg(19), Abhishek Bichhawat(7), Christian Hammer(7), Marco Vassena(5), Alejandro Russo(5), Deian Stefan(5), D. Janakiram(4), Marco Gaboardi(2), Jan Hoffmann(2), Jinank Jain(2), Tamara Rezk(1), Iulia Bastys(1), Willard Rafnsson(1), Francesco Leofante(1), Elena Botoeva(1), Ashok Gunnam(1), N. Suneetha(1), K. Vinay Kumar Reddy(1), Gilles Barthe(1), Arun Kumar(1)