6.858 Spring 2020 Lecture 16: Messaging security