Title: Foundations and Applications of Security Analysis