Matthew Heck

Steven Schaefer

About Me
Research
New

Person. Matthew Heck

Papers

Formally Verified Cloud-Scale Authorization chakarov-2025-formallyICSE · 2025

matthewheck person entries/rolodex/matthewheck.hel