Olha Krasnozhon

Master

Academician Stepan Demianchuk International University of Economics and Humanities

33000, 4S Demianchuk Str., Rivne, Ukraine

https://orcid.org/0009-0008-0202-9575

Methodology for designing memory-safe high-performance applications using layered resource isolation

23.12.2025

Olha Krasnozhon
  • Keywords audited release; ownership and alias control; validation checkpoints; allocator and handle contracts; alias guards; typestate encodings
  • DOI https://doi.org/10.31649/vitce/3.2025.65