Lecture 13: Foundations and Systems - Authentication