Diego Meyer | FOCS Lab @ NUShttps://focs-lab.comp.nus.edu.sg/author/diego-meyer/Diego MeyerHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Nov 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/media/icon_hub157ec64a3b6061493b9a93478af82fa_37450_512x512_fill_lanczos_center_3.pngDiego Meyerhttps://focs-lab.comp.nus.edu.sg/author/diego-meyer/What does “verified memory safe” even mean?https://focs-lab.comp.nus.edu.sg/blog/memory-safety-audit/Sun, 01 Nov 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/blog/memory-safety-audit/