Ilya Shchepetkov

Publication Activity (10 Years)

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

Top Topics

Industrial Applications

Intrusion Detection

Relational Databases

Top Venues

FM Workshops (1)

Publications

Ilja S. Zakharov, Evgeny Novikov, Ilya Shchepetkov
Klever: Verification Framework for Critical Industrial C Programs. CoRR (2023)
Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov
Formal specification of a security framework for smart contracts. CoRR (2020)
Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov
Formal Specification of a Security Framework for Smart Contracts. FM Workshops (1) (2019)