Prognosis: closed-box analysis of network protocol implementations. - Tiago Ferreira 001; Harrison Brewton; Loris D'Antoni; Alexandra Silva 001 (SIGCOMM, 2021)