Ivannikov ISP RAS Open Conference

Days

Hours

Minutes

Seconds

ISP RAS Open to be held online.
Live streaming

80th Anniversary of Victor Ivannikov

This year the Conference is devoted to the 80th anniversary of Academician Victor Ivannikov, ISP RAS founder and first director. Victor Ivannikov led the Institute until 2015. He was also the head of system programming chairs in Lomonosov Moscow State University and in Moscow Institute of Physics and Technology. He published more than a hundred papers.

Victor Ivannikov founded a scientific school that served as a basis for ISP RAS ecosystem. As a result, the Institute, now named after Prof. Ivannikov, is the leading center of excellence in Russia in the system programming field.

ISP RAS Open to be held online

This year the ISP RAS Open conference will be held mostly online. Scientific tracks and the technology exhibition are online only; it is not possible to take part in either of those offline. The RAS building will only host the following offline events with limited number of participants:

Main session (in honor of 80th anniversary of Victor Ivannikov), December 10th at 9.30am - 12pm;
Digital medicine roundtable, December 10th at 1pm - 3.30pm;
Cybersecurity roundtable, December 10th at 4pm - 6.30pm.

Scientific tracks, the digital medicine roundtable, and the main conference session will be streamed live on online.isprasopen.ru (currently under construction).

To get access to live streaming, please register for the conference (at isprasopen.ru. for Russian attendees or via email at scsec@ispras.ru for foreign attendees). The access instructions will be sent to the registration email.

About the Conference

Download the Conference Program

Ivannikov ISP RAS Open Conference is an annual event organized by the Institute for System Programming of the Russian Academy of Sciences (ISP RAS) to discuss fundamental achievements in computer science and to present its new innovative technologies developed for practical commercial use in various industrial projects. The Conference is organized with support of:

IEEE;
IEEE Computer Society;
Russian Academy of Sciences (RAS);
Advanced Research Foundation (ARF);
Federal Service for Technical and Export Control (FSTEC Russia);
Commercial partners of ISP RAS (Samsung, Huawei, Hewlett Packard Enterprise, DELL, NVIDIA and others).

The main sections:

Program analysis, modeling and transformation technologies.
Data Management and Information Systems.
Open source software for continuum mechanics.

To participate in the Ivannikov ISP RAS Conference please register. To present your research please submit a paper, that wasn't yet published or submitted for other conferences. Submission Guidelines are here.

We accept original unpublished articles containing the results of research or describing the work in progress. We invite both researchers and practitioners. All accepted papers will be published in the Proceedings of Ivannikov ISP RAS Open Conference, that is indexed in Web of Science and Scopus. The proceedings will be published online in IEEE Xplore digital library.

Paticipation in the conference and publication of articles are free of charge. Travel and accommodation, as well as other expenses are to be paid by the participant.

Program analysis, modeling and transformation technologies

The section is devoted to optimization methods in compiler and code generation, static and dynamic program analysis, etc. The topics include:

Binary (executable) code reverse engineering.
Program execution in controlled environment.
Vulnerability search in executable code.
Network traffic analysis.
Compiler optimization and code generation.
Program static and dynamic analysis.
Program analysis and testing methods and tools.

Learn More

Data Management and Information Systems

The section is devoted to data management and data analysis (methods and systems for storing and analyzing large volumes of text, graph, multimedia, scientific and other types of data). The topics include:

Data mining and information extraction.
Mathematical theory and methods of machine learning and artificial intelligence.
Mathematical models of processes and phenomena of the real world.
Computational linguistics, natural language text analysis and understanding.
Complex networks analysis, including social, communication, biological networks, etc.
Signal processing and image analysis.
User-generated content analysis.
Information retrieval, recommender systems.
Ontologies and knowledge bases.
Information systems and technologies.
Scalable algorithms for data analysis.
Data analysis applications.
Data cleaning, heterogeneous data integration, data deduplication.
Key technologies for private and hybrid clouds creation.
High-performance computing and other services in clouds.
Big data ecosystem.
Distributed databases and Data/Web Mining technologies.
Software platforms for internet of things.
Dynamic load balancing in elastic clouds.
Planning of task flow in cloud data processing centers.
Power-saving cloud infrastructures.

Learn More

Open source software for continuum mechanics

The section is devoted to the use of open source software in solving continuum mechanics problems (OpenFOAM, Salome, ParaView, DAKOTA etc.) and comparison of developed software with commercial programs. The topics include:

Turbulent flows modeling.
Solving adjoined thermal exchange problems.
Applied hydrodynamics, gas dynamics and aerodynamics problems.
Development of personal problem solvers and libraries.
Scientific visualization and processing of numerical results.
Education based on open packages issues.

Learn More

Thursday, December 10th 2020

8:30 - 9:30

Registration. Coffee

9:30 - 12:00

Main track (Blue Hall)

Discussion: RAS leaders, members of Russian government, RAS institutes, universities, ISP RAS scientific and business partners.

"ISP RAS: 80th Anniversary of Victor Ivannikov"

12:00 - 13:00

Buffet lunch

12:00 - 14:00

Virtual exhibition of technologies at online.isprasopen.ru

13:00 - 15:30

Digital medicine roundtable (Blue Hall)

Invited participants represent Moscow State University Clinic, I.M. Sechenov First Moscow State Medical University, National Medical and Surgical Center named after N.I. Pirogov, Vorohobov’s City Clinical Hospital No. 67, Research Institute of Obstetrics and Gynecology named after D.O. Ott, National Medical Research Center for Endocrinology, Research Institute of Human Morphology and others.

15:30 - 16:00

Coffee break

16:00 - 18:30

Cybersecurity roundtable (Blue Hall)

Invited participants represent FSTEC of Russia as well as Kaspersky Lab, Postgres Professional, IVK, Security Code, Bellsoft, Ideco and others.

Open source software in continuum mechanics problems solving (Beige Hall)

13:00 - 13:50

Philippe Fraunié¹

¹ Professor at Toulon University, research director at Mediterranean Institute of Oceanography (M.I.O) Université Toulon

"Studying energy dissipation process in ocean surface"

13:50 - 14:10

Bo Yang, PhD¹, Qin Zhang, PhD¹ Bingchen Liang, PhD¹, Xin Liu, PhD¹, Mengxiang Qu¹, Matvey Kraposhin, PhD², Erwan Bertevas, PhD³

¹ College of Engineering Ocean University of China, Qingdao, ² ISP RAS, ³ Keppel-NUS Corporate Laboratory National University of Singapore

"Numerical simulation of the interaction between suspended sediment and moving plate based on the drift-flux model"

14:10 - 14:30

Tianyuan Wang, Dr.-Ing.¹, Hongda Shi, PhD¹, Qin Zhang, PhD¹, Bo Yang¹, Xin Liu PhD¹, Matvey Kraposhin, PhD²

¹ College of Engineering Ocean University of China, Qingdao, ² ISP RAS

"Research on the wake of the ducted propeller with POD and DMD"

14:30 - 14:40

Break

14:40 - 15:00

Konstantin Belyaev, PhD¹, Andrey Kuleshov, Dr. Sci.², Ilya Smirnov³

¹ Shirshov Institute of Oceanology of RAS, ² Keldysh Institute of Applied Mathematics RAS, ³ MSU

"Spatial decomposition of covariance functions in the process of data assimilation by a generalized Kalman filter method

15:00 - 15:20

Yuli Chashechkin, Dr. Sci.¹, Iaroslav Zagumennyi, PhD²

¹ IpMech RAS, ² Institute of Hydromechanics of National Academy of Sciences of Ukraine

"Numerical and laboratory study of flows around a tilted plate"

15:20 - 15:40

Sergei Strijhak, PhD¹, Jackson Tellez-Alvarez, PhD²

¹ ISP RAS, ² FLUMEN Research Institute, Department of Civil and Environmental Engineering Technical University of Catalonia Barcelona, Spain

"The multifractal analysis in Geophysical Flows. In memory of Prof. Jose Manuel Redondo Apraiz"

15:40 - 16:00

Coffee break

16:00 - 16:20

Ilias Sibgatullin, PhD¹, Stepan Elistratov², Kirill Vatutin³, Evgeny Ermaniuk, д.ф.-м.н⁴, Evgeny Mikhailov²

¹ Shirshov Institute of Oceanology of RAS, ² MSU, ³ ISP RAS, ⁴ Lavrentyev Institute of Hydrodynamics of the Siberian Branch of RAS

"Wave attractors and accumulation of wave energy in large aspect ratio domains"

16:20 - 16:40

Artem Nuriev, PhD¹

¹ Kazan Federal University

"Three-dimensional numerical simulation of fluid dynamics around vibrating beams"

Technologies of program analysis, modeling and transformation (Green Hall)

13:00 - 13:25

Alexey Borodin, PhD¹, Irina Dudina, PhD¹

¹ ISP RAS

"Symbolic Execution Based Intra-procedural Analysis for Search for Defects"

13:25 - 13:50

Petr Sovetov¹

¹ RTU MIREA

"Accelerating the development of DSL compilers for specialized processors"

13:50 - 14:15

Aleksandra Soroka¹

¹ Samsung RnD Institute Rus

"ML-based Clang optimization passes selection for binary code size reduction"

14:15 - 14:40

Viacheslav Barinov¹, Mikhail Kashkarov¹, Andrey Kazmin¹

¹ Samsung Russian Research Center

"Applying compiler-based binary watermarking technology to ensure binary compatibility in GNU/Linux distribution"

14:40 - 15:05

Petr Privalov¹, Veronica Butkevich¹, Alexander Gerasimov, PhD¹, Sergey Vladimirov¹, Anna Gorelova¹, Natalya Chernova¹

¹ Huawei, Russia

"An approach to assuring quality of automatic program analysis tools"

15:05 - 15:30

Rafael Sadykov¹, Mikhail Mandrykin, PhD²

¹ ISP RAS

"Formally verified complete quantifier instantiation strategy for the theory of bounded linear integer arithmetic"

15:30 - 16:00

Coffee break

16:00 - 16:50

Nikolaj Bjorner¹

¹ Microsoft Research

Navigating the Universe of Z3 Theory Solvers

16:50 - 17:15

Marvin Häuser¹, Vitaly Cheptsov²

¹ Technische Universitat Kaiserslautern, ² ISP RAS

"Securing the EDK II Image Loader"

17:15 - 17:40

Sergey Polyakov¹, Alexey Borodin, PhD¹

¹ ISP RAS

"Deadlock Detection using Static Analysis"

December 10th 2020, 12.40-14.00, Virtual exhibition of technologies at online.isprasopen.ru

12:00, 14:00

Asperitas and Cloud Solutions Family

Asperitas is a platform for data storage and performing complex resource-intensive calculations on demand. It includes a cloud environment also called Asperitas (listed as No. 5921 in the Unified Register of Russian Programs) as well as Michman, a PaaS orchestrator, and Clouni, an IaaS orchestrator. Fanlight, a web laboratories platform, is also a part of ISP RAS cloud solutions family (listed in the Register as No. 6066).

12:00, 14:00

AstraVer Verification Toolset

AstraVer Toolset is a deductive verification system for key software components. It allows developing and verifying security policy models as well as proving the correctness of software modules written in the C programming language. Astraver is essential for ensuring the required trust levels from ADV_SPM and ADV_FSP assurance families as defined in the ISO/IEC 15408 standard.

13:00, 15:00

BinSide: A Binary Code Static Analysis Tool

BinSide is a static program analysis platform for finding defects in binary code. It is useful when checking programs without source code, such as closed source 3rd party libraries, as well as assisting with required static information to dynamic analysis tools.

13:20, 15:20

Casr: crash analysis and severity reporter tool

Casr creates automatic reports for crashes happening during program testing or deployment. The tool works by analyzing Linux coredump files. The resulting reports contain the crash’s severity and additional data that is helpful for pinpointing the error cause.

12:00, 14:00

Constructivity 4D: A Technology of Indexing, Searching and Analysis of Large Spatial-Temporal Data

Constructivity 4D is a technology for creating innovative software services that are capable of processing highly dynamic scenes and vast arrays of spatial and temporal data. It performs visual analysis of millions of objects with individual geometry and dynamic behavior. Constructivity is deployed within the Synchro system that is used for 4D modeling of extremely large construction sites.

12:40, 14:40

ISP Crusher: A Dynamic Analysis Toolset

ISP Crusher is a toolset that combines various dynamic analysis approaches. It includes ISP Fuzzer, a fuzzing tool, and Sydr, an automatic test generation tool for complex programs. Two other ISP RAS analyzers, BinSide and Casr, will be included in Crusher within the next two years. Crusher allows organizing a development process that is fully compliant with GOST R 56939-2016 and other regulatory requirements of FSTEC of Russia.

12:40, 14:40

Dedoc: A Document Structure Retrieval System

Dedoc is an open universal system for converting documents to a unified format. формату. It extracts a document’s logical structure, its tables and metadata. The document’s contents are represented as a tree storing headings and lists of any level. Dedoc can be integrated in document contents and structure analysis systems as a separate module.

12:20, 14:20

DigiTEF, A Digital Twin Platform

DigiTEF is a software platform based on OpenFOAM and other open source tools, as well as unique modules and libraries developed at ISP RAS. DigiTEF solves various application problems of gas dynamics, aerodynamics, hydrodynamics, and acoustics. It is tailored for creating and working with highly sophisticated digital models of industrial devices. DigiTEF is included in the Unified Register of Russian Programs (No. 5377).

13:00, 15:00

Klever: A Software Verification Framework

Klever is a framework for checking models extracted from the source code of large software systems developed in the C programming language. Klever performs automated verification of various security and safety requirements.

12:20, 14:20

Lingvodoc: A Virtual Laboratory for Documenting Endangered Languages

Lingvodoc is a system intended for collaborative multi-user documentation of endangered languages, for creating multi-layered dictionaries and performing scientific work with the received sound and text data. It is a joint project with the Institute of Linguistics of the Russian Academy of Sciences and Tomsk State University. Lingvodoc is under active development since 2012 and can be found on lingvodoc.ispras.ru.

12:20, 14:20

MASIW: Support for Designing Highly Reliable Software Systems

MASIW is a toolset for developing highly reliable hardware and software systems for avionics, medicine, and other safety critical areas. It is designed for engineers creating airborne hardware/software systems that are developed using the integrated modular avionics (IMA) approach. MASIW can be easily adapted for other application areas.

12:40, 14:40

MicroTESK: A Test Program Generator

MicroTESK is an industry-targeted framework for generating test programs for functional verification of microprocessors. Based on formal specifications of microprocessor architectures, MicroTESK allows constructing test program generators automatically. MicroTESK supports a variety of architectures ranging from CISC/DSP to RISC and VLIW. MicroTESK supports online test program generation.

12:20, 14:20

Protosphere: A Network Traffic Analyzer

Protosphere is a system of deep packet inspection (DPI). It can serve as a part of intrusion and information leak protection systems. Protosphere detects inconsistencies between a protocol specification and the actual traffic. It allows you to add support quickly for new protocols (either open or closed) due to the flexibility of its internal representation.

12:40, 14:40

ISP RAS Software Analysis Platform based on QEMU

ISP RAS Foundation Platform for creating program analysis systems is built on top of open source QEMU emulator. This framework is essential for organizing multi platform and cross platform development. It supports reverse debugging and introspection features, as well as full system emulation mode for debugging low-level software.

13:00, 15:00

SciNoon: Exploratory Search System for Scientific Groups

SciNoon is a system for collaborative exploration of scientific papers. It is essential for a group of researchers to dive quickly into the new area of knowledge and to find answers on their questions, following up with tracking new research on the topic of interest with highly customizable alerts.

12:00, 14:00

Svace Static Analyzer

Svace is an essential tool of the secure software development life cycle, the main static analyzer that is used in Samsung Corp. It detects more than 50 critical error types as well as hundreds of coding issues. Svace supports C, C++, C#, and Java, with preview support of Kotlin and Go. Svace is included in the Unified Register of Russian Programs (No.4047).

13:20, 15:20

Texterra: A Semantic Analyzer

Texterra is a scalable platform for extracting semantics from text. It contains the complete fundamental set of technologies for creating multifunctional applications for text analysis. Texterra bases its semantic analysis approach on concept identification. The platform is included in the Unified Register of Russian Programs (No.4048).

12:20, 14:20

ISP Obfuscator

ISP Obfuscator is a set of technologies to prevent mass exploitation of vulnerabilities resulting from errors or backdoors. In case a hacker is capable of attacking one of the devices that has certain software installed, the rest will remain protected by changes to the code that the tool made.

12:00, 14:00

TRAWL: A Binary Code Analysis Platform

TRAWL is a unique production-level tool for analyzing various binary code features that supports multiple target processor architectures. It does not require debug information or source code. Trawl can be used to analyze all kinds of software ranging from boot loaders to user-level applications. It is included in the Unified Register of Russian Programs (No.5323).

Technology demonstration is available on demand. Please send request with name, surname and phone number to trawl@ispras.ru.

Friday, December 11th 2020

12:40 - 14:00

Open source software in continuum mechanics problems solving. Poster session online.isprasopen.ru.

Participant introduction: 10:50 - 11:00

Management of Data and Information Systems (Blue Hall)

10:30 - 11:00

Andrey Fomichev¹

¹ Head of Service at Yandex

"Yandex Database Serverless, a database virtualization approach"

11:00 - 11:30

Konstantin Avrachenkov¹

¹ Director of Research, INRIA Sophia Antipoli

"Semi-supervised learning on graphs"

11:30 - 12:00

Sergey Kuznetsov, Dr. Sci.¹, Pavel Velikhov², Qiang Fu²

¹ ISP RAS, ² Huawei Russian Research Institute

"Real-time analytics, hybrid transactional/analytical processing, in-memory data management, and non-volatile memory"

12:00 - 12:20

Alexander Shmid, Dr. Sci., Prof.¹

¹ EC-leasing company

"Practice and perspectives of using emulators family of mainframe architectures IBM"

12:20 - 12:30

Break

12:30 - 12:50

Alexandr Efimov¹, Artem Polyakov², Konstantin Kramarenko¹

¹ SIBSUTIS, ² NVIDIA Corporation

"Key-value database access optimization for PMIx standard implementation"

12:50 - 13:10

Mikhail Babenko, PhD¹, Andrei Tchernykh, PhD², Bernardo Pulido-Gaytan, Ph.D³, Elena Golimblevskaya⁴, Jorge Mario Cortés-Mendoza⁵, Arutyun Avetisyan, Dr. Sci.²

¹ North-Caucasus Federal University, ² ISP RAS, ³ CICESE Research Center, Ensenada, Mexico, ⁴ NCFU, ⁵ South Ural State University

"Experimental Evaluation of Homomorphic Comparison Methods"

13:10 - 13:30

Maxim Ryndin¹, Denis Turdakov, PhD¹, Sergey Kuznetsov, Dr. Sci.¹

¹ ISP RAS

"Catalyst: Combining Co-training and Active Learning for Lifelong Classification"

13:30 - 13:50

Andrey Sakhovskiy¹, Valery Solovyev, Dr. Sci.¹, Marina Solnyshkina, PhD¹

¹ KFU

"Topic Modeling for Assessment of Text Complexity in Russian Textbooks"

13:50 - 14:00

Break

14:00 - 14:20

Andrey Mikhaylov, PhD¹, Alexey Shigarov, PhD², Egor Rozkov², Igor Cherepanov¹

¹ IDSTU SB RAS, ² ISU

"On Graph-Based Verification for PDF Table Detection"

14:20 - 14:40

Jorge Mario Cortés-Mendoza¹, Andrei Tchernykh, PhD², Adrián Facio Medina³, Bernardo Pulido-Gaytan, Ph.D³, Gleb Radchenko¹, Mikhail Babenko, PhD⁴, Igor Chernykh, PhD⁵, Igor Kulikov, Dr. Sci.⁵, Sergio Nesmachnow, Ph.D⁶, Raul Rivera-Rodriguez⁶

¹ South Ural State University, ² ISP RAS, ³ CICESE Research Center, Ensenada, Mexico, ⁴ North-Caucasus Federal University, ⁵ ICMMG SB RAS, ⁶ The University of the Republic, Uruguay

"Toward digital twins' workload allocation on clouds with low-cost microservices streaming interaction"

14:40 - 15:00

Elena Aksenova¹, Nikita Lazarev¹, David Badalyan¹, Oleg Borisenko¹, Roman Pastukhov¹

¹ ISP RAS

"Michman, an orchestrator to deploy distributed services in cloud environments"

15:00 - 15:20

Valeriya Shvetcova¹, Oleg Borisenko¹, Maxim Polischuk²

¹ ISP RAS, ² The Bauman Moscow State Technical University

"Using Ansible as Part of TOSCA Orchestrator"

15:20 - 15:40

Irina Enyagina¹, Andrey Polyakov, PhD¹

¹ NRC "Kurchatov Institute"

Digital Lab platform as an environment for scientific research and development at the Kurchatov Institute

15:40 - 16:00

Break

16:00 - 16:20

Poltavtseva Maria, PhD¹

¹ SPbPU

"Heterogeneous Data Aggregation and Normalization in Information Security Monitoring and Intrusion Detection Systems of Large-scale Industrial CPS"

16:20 - 16:40

Vladislav Ananev¹, Pavel Andreev¹, Aram Avetisyan¹, Vladimir Makarov¹, Vadim Gliner², Assaf Schuster², Evgeny Karpulevich¹

¹ ISP RAS, ² Технион, Израиль

"Non-architectural improvements for ECG classification using deep neural network"

16:40 - 17:00

Mariia Akimenkova¹, Anna Maznina², Anton Naumov¹, Evgeny Karpulevich¹

¹ ISP RAS, ² MIPT

"Application of HDBSСAN method for clustering scRNA-seq data"

Open source software in continuum mechanics problems solving (Beige Hall)

10:00 - 10:50

Alexander Petrov, Dr. Sci.¹

¹ Chief Researcher, professor at IpMech RAS

"On superconvergent numerical schemes based on boundary element method"

10:50 - 11:40

Igor B. Petrov, Doctor of Sciences, Prof., Head of department¹

¹ MIPT

"Arctic research problems"

11:40 - 12:00

Participant introduction for the poster session

12:00 - 12:20

Victoria Korchagova¹

¹ ISP RAS

"On Implementation of Discontinuous Galerkin Scheme for Gas Dynamics Problems Using Open-Source Software"

12:20 - 12:40

Anatoly Ryabinin¹, Alexander Kuzmin¹

¹ Department of Hydroaeromechanics Saint Petersburg University

"Transonic flow simulation in a bent channel using SU2 software"

12:40 - 14:00

Poster session and lunch

14:00 - 14:20

Matvey Kraposhin, PhD¹

¹ ISP RAS

"QGDsolver: open-source framework for development of gas and liquid models based on regularized equations"

14:20 - 14:40

Dmitrii Golovin¹

¹ VNIIFTRI

"Simulation of infrasonic pistonphone"

14:40 - 15:00

Andrey Epikhin, PhD¹

¹ ISP RAS

"Numerical modelling of highly underexpanded underexpanded jet impingement on a flat plate"

15:00 - 15:20

Ivan Shirokov, PhD¹

¹ MSU

"Method for accurate gridding for modelling of external flows"

15:20 - 15:40

Kirill Vatutin¹, Andrey Epikhin PhD¹, Matvey Kraposhin PhD¹

¹ ISP RAS

"Sonic boom prediction in far field for supersonic vehicles via open-source software"

15:40 - 16:00

Break

16:00 - 16:20

Viktor Ignatenko¹, Denis Bazarevskiy²

¹ STR-Soft

"Experience of Substitution of Commercial CAD, CAE Software Components with Freeware Analogues"

16:20 - 16:40

Ilya Evdokimov, PhD¹, Susann Hänsch¹

¹ The Helmholtz-Zentrum Dresden-Rossendorf

"Scalable Workflows for OpenFOAM Evaluation"

16:40 - 17:00

Maria Komarova¹, Vladimir Zenkin¹, Maxim Kulabukhov¹

¹ The Bauman Moscow State Technical University

"Multicriteria optimization of the diesel engine piston cooling gallery"

17:00 - 17:20

Daria Romanova¹

¹ ISP RAS

"Comparison of Single Velocity and Multi Velocity Multiphase Models for Slope Flow Simulations"

Technologies of program analysis, modeling and transformation (Green Hall)

10:30 - 10:55

Evgeny Novikov, PhD¹, Vladimir Gratinskiy¹, Ilya Zakharov, PhD¹

¹ ISP RAS

"Expert Assessment of Verification Tool Results"

10:55 - 11:20

Denis Straghkov¹

¹ ISP RAS

"Methods and software tools which allow emulating UEFI modules"

11:20 - 11:45

D.A. Rybolovlev¹, M.N. Goryunov¹, A.G. Mackevich¹

¹ Russian Federation Security Guard Service Federal Academy

"Synthesis of a machine learning model for detecting computer attacks based on the CICIDS2017 dataset"

11:45 - 12:10

Alexey Vishnyakov¹, Andrey Fedotov, PhD¹, Daniil Kuts¹, Alexander Novikov¹, Darya Parygina¹, Eli Kobrin¹, Vlada Logunova¹, Pavel Belecky¹, Shamil Kurmangaleev, PhD¹

¹ ISP RAS

"Sydr: Cutting Edge Dynamic Symbolic Execution"

12:10 - 12:35

Sevak Sargsyan, PhD¹, Vahagn Vardanyan, PhD¹, Hayk Aslanyan, PhD¹, Mariam Harutunyan¹, Matevos Mehrabyan¹, Karen Sargsyan¹, Hripsime Hovahannisyan¹, Hovhannes Movsisyan¹, Jivan Hakobyan¹, Shamil Kurmangaleev, PhD²

¹ Russian-Armenian Slavonic University Yerevan, Armenia, ² ISP RAS

"GΕΝΕS ISP, a code analysis platform"

12:35 - 13:00

Ekaterina Lavrischeva, Dr. Sci.¹

¹ ISP RAS

"Мodeling Technical and Mathematical Problems in Applied Knowledge Areas"

13:00 - 14:00

Break (lunch)

14:00 - 14:25

Mikhail Solovyev, PhD¹, Maksim Bakulin¹, Sergey Makarov¹, Dmitry Manushin¹, Vartan Padaryan, PhD¹

¹ ISP RAS

"Practical abstract interpretation of binary code"

14:25 - 14:50

Sergey Kozlov, PhD¹, Sergey Kopylov¹, Boris Kondrat’ev², Dmitry Obydenkov³

¹ Russian Federation Security Guard Service Federal Academy, ² The Ministry of Defence of the Russian Federation, ³ ISP RAS

"Implementing watermarking based on a virtual XPS printer for Windows operating systems"

14:50 - 15:15

Maksim Mishechkin¹, Shamil Kurmangaleev, PhD¹, Vitaly Akolzin¹

¹ ISP RAS

"Architecture and functionality of the ISP Fuzzer"

15:15 - 15:40

Vitaly Akolzin¹, Shamil Kurmangaleev, PhD¹, Maksim Mishechkin¹

¹ ISP RAS

"Development of an effective method for fuzzing applications with complex data formats"

15:40 - 16:00

Break

16:00 - 16:25

Thien Tran¹, Shamil Kurmangaleev, PhD¹

¹ ISP RAS

"Automated generation of fuzzing tests"

16:25 - 16:50

Sergey Zelenov, PhD¹, Ekaterina Lavrischeva, Dr. Sci.¹

¹ ISP RAS

"Model-Based Approach for Ensuring Reliability and Security of Web Services"

December 11th 2020, 11:40-14:00. Open source software in continuum mechanics problems solving. Poster session online.isprasopen.ru

11:40 - 12:00