Text this: MIXING DEDUCTIVE AND INDUCTIVE ANALYSES FOR SECURITY APPLICATIONS

  ____     __   __             _    _             
 |  _ \\   \ \\/ //     ___   | || | ||     ___   
 | |_| ||   \ ` //     /   || | || | ||    /   || 
 | .  //     | ||     | [] || | \\_/ ||   | [] || 
 |_|\_\\     |_||      \__ ||  \____//     \__ || 
 `-` --`     `-`'       -|_||   `---`       -|_|| 
                         `-`                 `-`