Formal Modeling and Analysis of Multi-Rogue Backoff Manipulation Attacks in Unlicensed Networks. - Jordi Navarrette; Subash Shankar; Xiaojie Zhang; Saptarshi Debroy (DRCN, 2020)