Security Through Simplicity: A Case Study in Logical Segmentation Inference. - John D. Roth; Corey E. Lutton; James Bret Michael (Computer, 2019)