Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Denis

efremov
0 Stars

Decks

CVEHound: Audit Kernel Sources for Missing CVE Fixes
efremov
0
480
CVEhound: check Linux sources for known CVEs
efremov
0
71
Инструменты тестирования ядра Linux
efremov
0
130
Formal verification of operating system kernels
efremov
0
32
Runtime Verification of Linux Kernel Security Module
efremov
0
91
Modifications in Frama-C framework for handling Linux kernel code
efremov
0
140
Continuous deductive verification with Frama-C
efremov
0
130
Deductive verification of unmodified Linux kernel library functions
efremov
1
48
Health Insurance Support System (Blockchain Based)
efremov
0
120
Formal Verification of a Linux Security Module
efremov
0
110
Practical Language for Extracting Data from Source Codes and Preparing Them for Analysis
efremov
0
43
How to prove programs
efremov
0
81
Formal Verification of C code
efremov
0
8

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade