FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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
Location: Ullmann 200
09:00
Security Protocols as Choreographies
PRESENTER: Alessandro Bruni
09:30
How to Explain Security Protocols to Your Children
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
Location: Ullmann 200
11:00
On the Complexity of Verification of Time-Sensitive Distributed Systems
11:30
Protocol Analysis with Time and Space
PRESENTER: Santiago Escobar
12:00
Probabilistic annotations for protocol models
12:20
Securing Node-RED Applications
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
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