Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Denis

Denis

efremov
0 Stars

Decks

CVEHound: Audit Kernel Sources for Missing CVE Fixes
Avatar for Denis efremov
0
570
CVEhound: check Linux sources for known CVEs
Avatar for Denis efremov
0
100
Инструменты тестирования ядра Linux
Avatar for Denis efremov
0
230
Formal verification of operating system kernels
Avatar for Denis efremov
0
96
Runtime Verification of Linux Kernel Security Module
Avatar for Denis efremov
0
180
Modifications in Frama-C framework for handling Linux kernel code
Avatar for Denis efremov
0
210
Continuous deductive verification with Frama-C
Avatar for Denis efremov
0
170
Deductive verification of unmodified Linux kernel library functions
Avatar for Denis efremov
1
69
Health Insurance Support System (Blockchain Based)
Avatar for Denis efremov
0
150
Formal Verification of a Linux Security Module
Avatar for Denis efremov
0
150
Practical Language for Extracting Data from Source Codes and Preparing Them for Analysis
Avatar for Denis efremov
0
67
How to prove programs
Avatar for Denis efremov
0
94
Formal Verification of C code
Avatar for Denis efremov
0
20

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