POISCS
Problems of information security. Computer systems Peter the Great St. Petersburg Polytechnic University
Since 1999
ISSN 2071-8217
en Английский
Version for the visually impaired
Submit Your Paper
Publication schedule
  • №1 March 2026

Articles by keywords "symbolic execution"

Systematization of methods for finding errors in software

Software security
Samarin N.N.
  • Year: 2023
  • Issue: 3
  • 0
  • 338
  • Pages: 70-81

Identification of vulnerabilities in software for ARM processors using symbological execution

Software security
Abitov R. A. Pavlenko E. Yu.
  • Year: 2021
  • Issue: 3
  • 2
  • 418
  • Pages: 9-15

Methodology for finding errors and nondeclared features in software

Samarin N.N.
  • Year: 2024
  • Issue: Спецвыпуск
  • 1
  • 479
  • Pages: 157-164

A method for finding errors in program code based on inmemory fuzzing

Software security
Samarin N.N.
  • Year: 2024
  • Issue: 2
  • 1
  • 535
  • Pages: 130-137

A model for finding errors in software using spot-based fuzzing

Software security
Samarin N.N.
  • Year: 2024
  • Issue: 1
  • 3
  • 585
  • Pages: 134-141