S. A. Schneider

• The modelling and analysis of security protocols
• Clarise and the Night Show
• Conor's and the Shadow Leopard
• Embracing the Magic
• Faking the Magic
• Ozzy Penguin Gets Frustrated