Смотреть запись
Доклад
Символьное исполнение в .NET: Автоматическое тестирование, верификация и синтез программ
Дмитрий Иванов
Компания: Huawei
Дмитрий Мордвинов
Компания: JetBrains Research
Компания: KTH Royal Institute of Technology
Докторант в KTH Royal Institute of Technology, участник Microsoft Bug Bounty Programs, соорганизатор сообщества DotNet.ru. 10 лет работал в индустрии, сейчас занимается исследованиями в области безопасности приложений, статического и динамического анализа кода, применения формальных методов для поиска уязвимостей.
Компания: Huawei
Компания: JetBrains Research