PLSC 48401 1 (Winter 2018) Quantitative Security