Federated Logic Conference 2026 — Author Index (FCS)

FCS TALK AUTHOR INDEX

Shortcuts: A B G H O S Z

PROGRAM | AUTHORS

A
Arquint, Linard	(FCS) Session 2: Cryptography
B
Baelde, David	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Barbosa, Manuel	(FCS) Session 2: Cryptography
Béné, Tom	(FCS) Session 2: Cryptography
G
Gaur, Kartikeya	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Gollamudi, Anitha	(FCS) Session 1: Information Flow Security and Secure Attestation (FCS) Session 2: Cryptography
Guttman, Joshua	(FCS) Session 1: Information Flow Security and Secure Attestation
H
Hérouard, Clément	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Hofmann, Jana	(FCS) Opening Remarks (FCS) Invited Talk (FCS) Mentoring Lunch Preparation (FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
Holler, Sebastian	(FCS) Session 3: Smart Contracts and (Cyrptographic) Protocols
O
Oda, Yukihiro	(FCS) Session 1: Information Flow Security and Secure Attestation
S
Sumii, Eijiro	(FCS) Session 1: Information Flow Security and Secure Attestation
Z
Zain, Dr. Sara	(FCS) Session 2: Cryptography