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
470
CVEhound: check Linux sources for known CVEs
efremov
0
70
Инструменты тестирования ядра Linux
efremov
0
130
Formal verification of operating system kernels
efremov
0
31
Runtime Verification of Linux Kernel Security Module
efremov
0
88
Modifications in Frama-C framework for handling Linux kernel code
efremov
0
130
Continuous deductive verification with Frama-C
efremov
0
120
Deductive verification of unmodified Linux kernel library functions
efremov
1
47
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
41
How to prove programs
efremov
0
81
Formal Verification of C code
efremov
0
7

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