DESSERT'2018

9th International IEEE Conference
Dependable Systems, Services and Technologies
UKRAINE, KYIV, MAY 24-27, 2018

IEEE
  • Information

  • Deadlines

    (23:59 UTC+0)

    Paper submission: March 4, 2018 March 14, 2018 March 19, 2018 (Extra deadline for update only)
    Notification of paper acceptance: April 25, 2018
    Final manuscript: April 30, 2018
    Registration and payment: May 3, 2018

    Program draft publication: May 7, 2018
    Conference date: May 24-27, 2018

  • Contacts

    Department 503, DESSERT’2018 Organizing Committee,
    National Aerospace University n. a. N. E. Zhukovsky “KhAI”,
    Chkalov str., 17, Kharkiv, 61070, Ukraine
    Phone: +38 (095) 564 76 69
    (contact person – Anastasiia Strielkina)
    e-mail: dessert@csn.khai.edu

Oleksandr Letychevskyi

Algebraic Methods and Tools for Critical Software Verification

Abstract:

We present an algebraic approach for finding vulnerabilities in a program system that is given as the sequence of processor instructions. There is the transformation of code to algebraic specifications and providing its symbolic modeling for the detection of vulnerability cases that are presented as formulas in logic language. The method anticipates the usage of solving and proving systems integrated with the Algebraic Programming System.

Oleksandr Letychevskyi, Doctor of Science on Physics&Mathematics, Leading Researcher in Glushkov Institute of Cybernetics, National Academy of Science of Ukraine
Developer of algebraic approach in cybersecurity, verification, testing, reverse engineering.