Denis Efremov
10 SlideShares
Personal Information
Organization / Workplace
Moscow, Russian Federation Russian Federation
Occupation
Researcher
Industry
Technology / Software / Internet
Website
blog.llkl.org
About
Github: https://github.com/evdenis
Contact Details
Tags
linux kernel frama-c acsl software quality phdays astraver formal-verification formal verification lsm static analysis ispras pdug cve scanning approof perl c-code linux-kernel meetup callgraph why3 formal-verification-support reports-generation runtime verification tests zeronighs coccinelle verker hse isola 2018 deductive verification ipfs swarm prototype masterchain summer school hackaton solidity blockchain security policy event-b
See more

Presentations

(10)
See all

How to prove programs

8 years ago • 390 Views

Automation of rule construction for Approof

8 years ago • 58 Views

Formal verification of C code

8 years ago • 76 Views

Practical Language for Extracting Data from Source Codes and Preparing Them for Analysis

7 years ago • 150 Views

Formal Verification of a Linux Security Module

7 years ago • 53 Views

Health Insurance Support System (Blockchain Based)

7 years ago • 51 Views

Deductive verification of unmodified Linux kernel library functions

6 years ago • 57 Views

CVEhound

3 years ago • 78 Views

Инструменты тестирования ядра Linux

3 years ago • 53 Views

Formal verification of operating system kernels

3 years ago • 59 Views
Personal Information
Organization / Workplace
Moscow, Russian Federation Russian Federation
Occupation
Researcher
Industry
Technology / Software / Internet
Website
blog.llkl.org
About
Github: https://github.com/evdenis
Tags
linux kernel frama-c acsl software quality phdays astraver formal-verification formal verification lsm static analysis ispras pdug cve scanning approof perl c-code linux-kernel meetup callgraph why3 formal-verification-support reports-generation runtime verification tests zeronighs coccinelle verker hse isola 2018 deductive verification ipfs swarm prototype masterchain summer school hackaton solidity blockchain security policy event-b
See more