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
490
CVEhound: check Linux sources for known CVEs
efremov
0
71
Инструменты тестирования ядра Linux
efremov
0
140
Formal verification of operating system kernels
efremov
0
35
Runtime Verification of Linux Kernel Security Module
efremov
0
96
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
50
Health Insurance Support System (Blockchain Based)
efremov
0
120
Formal Verification of a Linux Security Module
efremov
0
120
Practical Language for Extracting Data from Source Codes and Preparing Them for Analysis
efremov
0
44
How to prove programs
efremov
0
84
Formal Verification of C code
efremov
0
10

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