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
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
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
14:30
Adapting constraint solving to automatically analyze UPI Protocols
14:50
Quantum Machine Learning and Fraud Detection
15:10
Formal Methods and Mathematical Intuition
15:30-16:00Coffee Break