Denis Efremov

According to our database, Denis Efremov authored at least 5 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Runtime Verification of Operating Systems Based on Abstract Models.

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., December, 2023

2019

Runtime Verification of Linux Kernel Security Module.

Denis Efremov, Ilya V. Shchepetkov

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Lemma Functions for Frama-C: C Programs as Proofs.

Grigoriy Volkov, Mikhail U. Mandrykin, Denis Efremov

CoRR, 2018

Deductive Verification of Unmodified Linux Kernel Library Functions.

Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2012

Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems.

Denis Efremov, Nikolay V. Pakulin

Proceedings of the SECRYPT 2012, 2012