Don’t Let the Hidden Bugs Bite: Why a Protocol Analysis Matters in a Managed Flash Device Design 21-Jan-2026 Isabelle Evans