3 papers
cs.SE2023
Klever: Verification Framework for Critical Industrial C Programs
Ilja Zakharov, Evgeny Novikov, Ilya Shchepetkov
Automatic software verification tools help to find hard-to-detect faults in programs checked against specified requirements non-interactively. Besides, they can prove program corre…
cs.SE2020
Formal specification of a security framework for smart contracts
Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne +1
As smart contracts are growing in size and complexity, it becomes harder and harder to ensure their correctness and security. Due to the lack of isolation mechanisms a single mista…
cs.SE2020
Runtime Verification of Linux Kernel Security Module
Denis Efremov, Ilya Shchepetkov
The Linux kernel is one of the most important Free/Libre Open Source Software (FLOSS) projects. It is installed on billions of devices all over the world, which process various sen…