Types for Security Protocols: Invited presentation at 7th International Workshop on Security Issues in Concurrency