Denis Efremov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2019
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Runtime Verification of Linux Kernel Security Module. | Denis Efremov, Ilya V. Shchepetkov |
| 2018 | ISoLA | Deductive Verification of Unmodified Linux Kernel Library Functions. | Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov |
| 2012 | SECRYPT | Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. | Denis Efremov, Nikolay V. Pakulin |