"Logic Wins!": Invited Presentation at the 8th International Workshop on Security Issues in Concurrency