On Linear Logic, Functional Programming, and Attack Trees. - Harley Eades III; Jiaming Jiang; Aubrey Bryant (GraMSec@FLoC, 2018)