FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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:
Sebastian Mödersheim
Location: Taub 6
09:00
Daniel Dougherty
Model Finding for Exploration
09:30
Paul Rowe
On Orderings in Security Models
10:00
Flemming Nielson, Rene Rydhof Hansen and Hanne Riis Nielson
Benign Interaction of Security Domains
PRESENTER: Flemming Nielson
10:30-11:00Coffee Break
11:00-12:30 Session 137B
Chair:
Dan Dougherty
Location: Taub 6
11:00
Wojtek Jamroga, Peter Y A Ryan, Steve Schneider, Carsten Schürmann and Philip Stark
A Declaration of Software Independence
PRESENTER: Peter Y A Ryan
11:30
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz and Tim Würtele
A Tutorial-Style Introduction to DY*
PRESENTER: Guido Schmitz
11:50
Kangsoo Jung, Sayan Biswas and Catuscia Palamidessi
Establishing the Price of Privacy in Federated Data Trading
PRESENTER: Kangsoo Jung
12:10
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson and Shriram Krishnamurthi
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:
Paul Rowe
Location: Taub 6
14:00
Sebastian Mödersheim and Jorge Cuellar
Three Branches of Accountability
PRESENTER: Sebastian Mödersheim
14:30
Sreekanth Malladi and Jonathan Millen
Adapting constraint solving to automatically analyze UPI Protocols
PRESENTER: Sreekanth Malladi
14:50
Alessandra Di Pierro and Massimiliano Incudini
Quantum Machine Learning and Fraud Detection
PRESENTER: Alessandra Di Pierro
15:10
Dale Johnson
Formal Methods and Mathematical Intuition
15:30-16:00Coffee Break