GUTTMANFEST ON FRIDAY, AUGUST 12TH
Days:
previous day
all days
View: session 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