UNDERSTANDING THE PATRICK STASH PORTAL: PLATFORM VERIFICATION & SECURITY