2 papers
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…