GUTTMANFEST PROGRAM
Days: Thursday, August 11th Friday, August 12th
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120C
Chair:
Location: Ullmann 200
| 09:00 | Security Protocols as Choreographies PRESENTER: Alessandro Bruni |
| 09:30 | How to Explain Security Protocols to Your Children PRESENTER: Véronique Cortier |
| 09:50 | Secure Key Management Policies in Strand Spaces PRESENTER: Riccardo Focardi |
| 10:10 | Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty PRESENTER: Pierpaolo Degano |
10:30-11:00Coffee Break
11:00-12:40 Session 125F
Chair:
Location: Ullmann 200
| 11:00 | On the Complexity of Verification of Time-Sensitive Distributed Systems PRESENTER: Tajana Ban Kirigin |
| 11:30 | Protocol Analysis with Time and Space PRESENTER: Santiago Escobar |
| 12:00 | Probabilistic annotations for protocol models |
| 12:20 | 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.
14:00-15:30 Session 127F
Chair:
Location: Ullmann 200
| 14:00 | Joshua Guttman: Pioneering Strand Spaces |
| 14:20 | Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran |
| 14:40 | Principles of Remote Sattestation |
| 15:00 | Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer PRESENTER: Prajna Bhandary |
15:30-16:00Coffee Break
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
Friday, August 12th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:00Coffee & Refreshments
09:00-10:30 Session 134A
Chair:
Location: Taub 6
| 09:00 | Model Finding for Exploration |
| 09:30 | On Orderings in Security Models |
| 10:00 | Benign Interaction of Security Domains PRESENTER: Flemming Nielson |
10:30-11:00Coffee Break
11:00-12:30 Session 137B
Chair:
Location: Taub 6
| 11:00 | A Declaration of Software Independence PRESENTER: Peter Y A Ryan |
| 11:30 | A Tutorial-Style Introduction to DY* PRESENTER: Guido Schmitz |
| 11:50 | Establishing the Price of Privacy in Federated Data Trading PRESENTER: Kangsoo Jung |
| 12:10 | Prototyping Formal Methods Tools: a Protocol Analysis Case Study PRESENTER: Abigail Siegel |
12:30-14:00Lunch Break
Lunches will be held in Taub hall.
14:00-15:30 Session 138B
Chair:
Location: Taub 6
| 14:00 | Three Branches of Accountability PRESENTER: Sebastian Mödersheim |
| 14:30 | Adapting constraint solving to automatically analyze UPI Protocols PRESENTER: Sreekanth Malladi |
| 14:50 | Quantum Machine Learning and Fraud Detection PRESENTER: Alessandra Di Pierro |
| 15:10 | Formal Methods and Mathematical Intuition |
15:30-16:00Coffee Break