Next semester I will tutor the Language-based Security lecture. Since I will be writing my master thesis, it seems that I will have enough time to prepare. So even if I don’t know much about it at this time, the topics are very interesting and I am quite excited to learn more about them.
So what is language-based security about? Well, as far as the lecture is concerned, topics like information-flow security, typed assembly language, proof-carrying code, and most important: analysis of cryptographic protocols. Everything builds on type theory, a well-known static analysis technique for enforcing safety properties of modern programming languages.