AN IN-DEPTH OVERVIEW OF PATRICKSTASH: PLATFORM VERIFICATION & SECURITY