GuttmanFest on Thursday, August 11th

GUTTMANFEST ON THURSDAY, AUGUST 11TH

Days:

08:30-09:00Coffee & Refreshments

Chair:

09:00	Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim and Carsten Schürmann Security Protocols as Choreographies PRESENTER: Alessandro Bruni
09:30	Véronique Cortier and Itsaka Rakotonirina How to Explain Security Protocols to Your Children PRESENTER: Véronique Cortier
09:50	Riccardo Focardi and Flaminia Luccio Secure Key Management Policies in Strand Spaces PRESENTER: Riccardo Focardi
10:10	Pierpaolo Degano, Letterio Galletta and Selene Gerali Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty PRESENTER: Pierpaolo Degano

10:30-11:00Coffee Break

Chair:

11:00	Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott On the Complexity of Verification of Time-Sensitive Distributed Systems PRESENTER: Tajana Ban Kirigin
11:30	Damian Aparicio, Santiago Escobar, Catherine Meadows, Jose Meseguer and Julia Sapiña Protocol Analysis with Time and Space PRESENTER: Santiago Escobar
12:00	Dusko Pavlovic Probabilistic annotations for protocol models
12:20	Mohammad M. Ahmadpanah, Musard Balliu, Daniel Hedin, Lars Eric Olsson and Andrei Sabelfeld Securing Node-RED Applications PRESENTER: Mohammad M. Ahmadpanah

12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

Chair:

14:00	Sylvan Pinsky Joshua Guttman: Pioneering Strand Spaces
14:20	John Ramsdell Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran
14:40	Paul Syverson Principles of Remote Sattestation
15:00	Edward Zieglar, Prajna Bhandary and Charles Nicholas Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer PRESENTER: Prajna Bhandary

15:30-16:00Coffee Break

Chairs:

18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event