ИСТИНА

Парыгина Дарья Алексеевна пользователь

МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, студент, с 1 сентября 2020

Институт системного программирования им. В.П. Иванникова РАН

Соавторы: Fedotov A., Kutz D., Logunova V., Вишняков А.В., Кобрин И.А., Belecky P., Novikov A., Курмангалеев Ш.Ф.

2 статьи, 1 доклад на конференции

Количество цитирований статей в журналах по данным Web of Science: 0, Scopus: 1

IstinaResearcherID (IRID): 415504852

Деятельность

• Статьи в сборниках

  • • 2021 Symbolic Security Predicates: Hunt Program Weaknesses
    • Vishnyakov Alexey, Logunova Vlada, Kobrin Eli, Kuts Daniil, Parygina Darya, Fedotov Andrey
    • в сборнике 2021 Ivannikov Ispras Open Conference (ISPRAS), место издания IEEE, с. 76-85 DOI
  • 
    • 2020 Sydr: Cutting Edge Dynamic Symbolic Execution
    • Vishnyakov Alexey, Fedotov Andrey, Kuts Daniil, Novikov Alexander, Parygina Darya, Kobrin Eli, Logunova Vlada, Belecky Pavel, Kurmangaleev Shamil
    • в сборнике Proceedings of Ivannikov ISPRAS Open Conference, с. 46-54 DOI

• Доклады на конференциях

  • • 2020 Sydr: Cutting Edge Dynamic Symbolic Execution (Устный)
    • Авторы: Vishnyakov Alexey, Fedotov Andrey, Kuts Daniil, Novikov Alexander, Parygina Darya, Kobrin Eli, Logunova Vlada, Belecky Pavel, Kurmangaleev Shamil
    • 2020 IVANNIKOV ISP RAS OPEN CONFERENCE, Москва, Россия, 10-12 декабря 2020