Science of Security Lablet Quarterly Meeting (CMU) - July 2017