Linked Presentation: Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets
