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

Articles by keywords "Symbolic Execution"

Systematization of methods for finding errors in software

Software security
Samarin N.N.
  • Year: 2023
  • Issue: 3
  • 0
  • 524
  • 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
  • 611
  • Pages: 9-15

Methodology for finding errors and nondeclared features in software

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

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

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

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

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