Watch recording
Symbolic execution in .NET: Automated tests generation, verification, and program synthesis
Dmitry Ivanov
Huawei
Dmitry Mordvinov
JetBrains Research
In RussianComplexity -
Mikhail Shcherbakov
KTH Royal Institute of Technology
Mikhail is a PhD candidate at KTH Royal Institute of Technology, a participant of Microsoft Bug Bounty Programs, co-organizer of DotNet.ru. 10 years in the industry. His professional areas are Application Security, Web Security, Static and Dynamic Code Analysis, Information Flow Security.
Talks from 2021 Moscow season
Invited expert
Other talks
- No record
Deserialization vulns: past, present, and future
Mikhail Shcherbakov
KTH Royal Institute of Technology
In RussianComplexity -