Watch recording
Talk
Symbolic execution in .NET: Automated tests generation, verification, and program synthesis
Dmitry Ivanov
Company: Huawei
Dmitry Mordvinov
Company: JetBrains Research
Mikhail Shcherbakov
Company: 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
Other talks
- Talk
Deserialization vulns: past, present, and future
Mikhail Shcherbakov
Company: KTH Royal Institute of Technology