FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Ahmadpanah, Mohammad M.	Securing Node-RED Applications
Aparicio, Damian	Protocol Analysis with Time and Space
B
Balliu, Musard	Securing Node-RED Applications
Ban Kirigin, Tajana	On the Complexity of Verification of Time-Sensitive Distributed Systems
Bhandary, Prajna	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
Bhargavan, Karthikeyan	A Tutorial-Style Introduction to DY*
Bichhawat, Abhishek	A Tutorial-Style Introduction to DY*
Biswas, Sayan	Establishing the Price of Privacy in Federated Data Trading
Bruni, Alessandro	Security Protocols as Choreographies
C
Carbone, Marco	Security Protocols as Choreographies
Cortier, Véronique	How to Explain Security Protocols to Your Children
Cuellar, Jorge	Three Branches of Accountability
D
Degano, Pierpaolo	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
Di Pierro, Alessandra	Quantum Machine Learning and Fraud Detection
Do, Quoc Huy	A Tutorial-Style Introduction to DY*
Dougherty, Daniel	Model Finding for Exploration
Dyer, Tristan	Prototyping Formal Methods Tools: a Protocol Analysis Case Study
E
Escobar, Santiago	Protocol Analysis with Time and Space
F
Focardi, Riccardo	Secure Key Management Policies in Strand Spaces
G
Galletta, Letterio	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
Gerali, Selene	Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
Giustolisi, Rosario	Security Protocols as Choreographies
H
Hansen, Rene Rydhof	Benign Interaction of Security Domains
Hedin, Daniel	Securing Node-RED Applications
Hosseyni, Pedram	A Tutorial-Style Introduction to DY*
I
Incudini, Massimiliano	Quantum Machine Learning and Fraud Detection
J
Jamroga, Wojtek	A Declaration of Software Independence
Johnson, Dale	Formal Methods and Mathematical Intuition
Jung, Kangsoo	Establishing the Price of Privacy in Federated Data Trading
K
Kanovich, Max	On the Complexity of Verification of Time-Sensitive Distributed Systems
Krishnamurthi, Shriram	Prototyping Formal Methods Tools: a Protocol Analysis Case Study
Küsters, Ralf	A Tutorial-Style Introduction to DY*
L
Luccio, Flaminia	Secure Key Management Policies in Strand Spaces
M
Malladi, Sreekanth	Adapting constraint solving to automatically analyze UPI Protocols
Meadows, Catherine	Protocol Analysis with Time and Space
Meseguer, Jose	Protocol Analysis with Time and Space
Millen, Jonathan	Adapting constraint solving to automatically analyze UPI Protocols
Mödersheim, Sebastian	Security Protocols as Choreographies Three Branches of Accountability
N
Nelson, Tim	Prototyping Formal Methods Tools: a Protocol Analysis Case Study
Nicholas, Charles	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
Nielson, Flemming	Benign Interaction of Security Domains
Nielson, Hanne Riis	Benign Interaction of Security Domains
Nigam, Vivek	On the Complexity of Verification of Time-Sensitive Distributed Systems
O
Olsson, Lars Eric	Securing Node-RED Applications
P
Palamidessi, Catuscia	Establishing the Price of Privacy in Federated Data Trading
Pavlovic, Dusko	Probabilistic annotations for protocol models
Pinsky, Sylvan	Joshua Guttman: Pioneering Strand Spaces
R
Rakotonirina, Itsaka	How to Explain Security Protocols to Your Children
Ramsdell, John	Cryptographic Protocol Analysis and Compilation Using CPSA and Roletran
Rowe, Paul	On Orderings in Security Models
Ryan, Peter Y A	A Declaration of Software Independence
S
Sabelfeld, Andrei	Securing Node-RED Applications
Santomauro, Mia	Prototyping Formal Methods Tools: a Protocol Analysis Case Study
Sapiña, Julia	Protocol Analysis with Time and Space
Scedrov, Andre	On the Complexity of Verification of Time-Sensitive Distributed Systems
Schmitz, Guido	A Tutorial-Style Introduction to DY*
Schneider, Steve	A Declaration of Software Independence
Schürmann, Carsten	Security Protocols as Choreographies
Schürmann, Carsten	A Declaration of Software Independence
Siegel, Abigail	Prototyping Formal Methods Tools: a Protocol Analysis Case Study
Stark, Philip	A Declaration of Software Independence
Syverson, Paul	Principles of Remote Sattestation
T
Talcott, Carolyn	On the Complexity of Verification of Time-Sensitive Distributed Systems
W
Würtele, Tim	A Tutorial-Style Introduction to DY*
Z
Zieglar, Edward	Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer

Disclaimer | Powered by EasyChair Smart Program