Watch recording
Talk type: 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.