https://denis.efremov.cv/ 2026-03-21 https://denis.efremov.cv/llms.txt https://denis.efremov.cv/llms-full.txt https://denis.efremov.cv/publications/efremov_hardening_overview_2025.pdf https://denis.efremov.cv/publications/petrenko_rv_methods_isp_2025.pdf https://denis.efremov.cv/publications/petrenko_rv_methods_pps_2025.pdf https://denis.efremov.cv/publications/efremov_rv_pcs_2023_draft.pdf https://denis.efremov.cv/publications/efremov_rv_isp_2021.pdf https://denis.efremov.cv/publications/petrenko_multilevel_specs_2020.pdf https://denis.efremov.cv/publications/efremov_rv_lsm_fm2019.pdf https://denis.efremov.cv/publications/devyanin_security_monograph_2019.pdf https://denis.efremov.cv/publications/efremov_verker_isola_2018.pdf https://denis.efremov.cv/publications/volkov_lemma_functions_2018.pdf https://denis.efremov.cv/publications/efremov_verker_ispras_2017.pdf https://denis.efremov.cv/publications/efremov_osdev_book_2015.pdf https://denis.efremov.cv/publications/efremov_verif_tools_2014.pdf https://denis.efremov.cv/publications/efremov_sevigator_2012.pdf https://denis.efremov.cv/publications/efremov_hypervisor_2011.pdf https://denis.efremov.cv/publications/efremov_sec_activation_2010.pdf