Buchumschlag

Algebraic patterns of binary code vulnerabilities

Detection of software systems’ vulnerabilities is an actual problem in the IT industry nowadays. The approaches to the solution of this problem, based on the symbolic methods, became very popular and promising during the last decade. The article describes an approach to the vulnerabilities detection...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
1. Verfasser:	Yakovlev, V.M.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2020
Schlagworte:	software vulnerabilities symbolic modeling algebraic matching behavior algebra UDC 004.05 004.4[2+9] 004.94 519.7
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/390
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Modern technological aspects of decision support systems
von: Churubrova, S.M.
Veröffentlicht: (2017)

Weather anomaly monitoring method based on sensor network technology
von: Rahozin, D.V.
Veröffentlicht: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
von: Zhyliuk, Y., et al.
Veröffentlicht: (2025)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
von: Lazarenko, S.V., et al.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Algebraic patterns of binary code vulnerabilities
von: V. M. Yakovlev
Veröffentlicht: (2020)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

Increase the temporal efficiency of data structures in memory based on adaptation
von: Shinkarenko, V.I., et al.
Veröffentlicht: (2015)

Method of detection of http attacks on a smart home using the algebraic matching method
von: Gorbatiuk, V.O., et al.
Veröffentlicht: (2023)

Managing data center resources using heuristic search
von: Zharikov, E.V.
Veröffentlicht: (2018)

A method of two-tier storage management in virtualized data center
von: Zharikov, E.V.
Veröffentlicht: (2019)

On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)

Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Specialized software for simulating dynamic virtual machine consolidation
von: Zharikov, E.V., et al.
Veröffentlicht: (2022)

Methods of recognition by the agent of the unknown environment
von: Yalovets, A.L.
Veröffentlicht: (2019)

Descriptive logic using in Web-service problems
von: Zakharova, O.V.
Veröffentlicht: (2017)

Tasks for information security risks management in making-decision process
von: Rodin, Y.S.
Veröffentlicht: (2018)

Method of information and analytical support for information security risk management of information systems
von: Rodin, Y.S.
Veröffentlicht: (2019)

The concept and evaluating of big data quality in the semantic environment
von: Novitsky, A.V.
Veröffentlicht: (2023)

Extended binary Golay codes by a group algebra
von: Bortos, Maria Yu., et al.
Veröffentlicht: (2024)

Fluid models of dynamic scheduling in computer networks
von: Іgnatenko, O.P.
Veröffentlicht: (2025)

Conflict controlled network modeling: evolutionary games approach
von: Ignatenko, O.P., et al.
Veröffentlicht: (2019)

Game model of user interaction in heterogeneous distributed environments
von: Ignatenko, O.P., et al.
Veröffentlicht: (2017)

Implementation the concept of adaptive broadcast system and automatic preparation of content
von: Provotar, O.I., et al.
Veröffentlicht: (2025)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
von: Zakharova, O.V.
Veröffentlicht: (2023)