Federated Logic Conference 2026 — Author Index (CSF)

CSF TALK AUTHOR INDEX

Shortcuts: A B C D E F G H J K L M P Q R S U W Z

PROGRAM | AUTHORS

A
Arapinis, Myrto	(CSF) Computer-Aided Cryptography
B
Baelde, David	(CSF) Symbolic Protocol Verification
Ballot, Gabriel	(CSF) Attack Trees & Risk Analysis
Baumann, Jonathan	(CSF) Side-Channel & Speculative Defenses
Bhaskar, Raghav	(CSF) E-Voting & Anonymity
Blanchet, Bruno	(CSF) Symbolic Protocol Verification
Bultel, Xavier	(CSF) E-Voting & Anonymity
C
Cheval, Vincent	(CSF) E-Voting & Anonymity
D
Dillig, Işıl	(CSF) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications
Dreier, Jannik	(CSF) Symbolic Protocol Verification
Du, Ruizhong	(CSF) Differential Privacy
Dziembowski, Stefan	(CSF) Computer-Aided Cryptography
E
Escobar, Ferran Alborch	(CSF) Differential Privacy
F
Farràs, Oriol	(CSF) Cryptographic Primitives & Protocols
Ferretti, Luca	(CSF) Authenticity & Identity
Fontaine, Caroline	(CSF) Computer-Aided Cryptography
Friolo, Daniele	(CSF) Cryptographic Primitives & Protocols
G
Garg, Deepak	(CSF) Differential Privacy (CSF) Information Flow & Secure Composition
Giampietro, Sofia	(CSF) Symbolic Protocol Verification
Gonze, Ramon G.	(CSF) Quantitative Information Flow
Grosse, Leonhard	(CSF) Differential Privacy
Guttman, Joshua	(CSF) Quantitative Information Flow
H
Hong, Hanbin	(CSF) Machine Learning Security & Privacy
Huang, Tian	(CSF) E-Voting & Anonymity
J
Janků, Jakub	(CSF) Computer-Aided Cryptography
K
Kazan, Zeki	(CSF) Differential Privacy
Keer, Pim	(CSF) Cryptographic Primitives & Protocols
Khanji, Salam	(CSF) Authenticity & Identity
Koustos, Adrien	(CSF) Computer-Aided Cryptography
Kruger, Loes	(CSF) Symbolic Protocol Verification
Künneman, Robert	(CSF) Attack Trees & Risk Analysis
Kura, Satoshi	(CSF) Side-Channel & Speculative Defenses
L
Lallemand, Joseph	(CSF) E-Voting & Anonymity
Larsen, Markus Krabbe	(CSF) Computer-Aided Cryptography
Lund, Simon Tobias	(CSF) Information Flow & Secure Composition
M
Maffei, Matteo	(CSF) Machine Learning Security & Privacy
Mödersheim, Sebastian	(CSF) Cryptographic Primitives & Protocols (CSF) Information Flow & Secure Composition
Mohammady, Meisam	(CSF) Machine Learning Security & Privacy
Moura, Leonardo de	(CSF) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact
P
Paterson, Kenny	(CSF) Invited Talk
Peterseim, Benedikt	(CSF) Attack Trees & Risk Analysis
Q
Qiao, Jingxin	(CSF) E-Voting & Anonymity
R
Rosie, Raz	(CSF) Cryptographic Primitives & Protocols
S
Saeidian, Sara	(CSF) Quantitative Information Flow
Sasse, Ralf	(CSF) Side-Channel & Speculative Defenses
Shao, Honglin	(CSF) Cryptographic Primitives & Protocols
Shen, Zechi	(CSF) Information Flow & Secure Composition
Soares, Luigi D. C.	(CSF) Quantitative Information Flow
Soltani, Reza	(CSF) Attack Trees & Risk Analysis
Su, Pengcheng	(CSF) Differential Privacy
U
Unruh, Dominique	(CSF) Authenticity & Identity
W
Wang, Haun-Chih	(CSF) Machine Learning Security & Privacy
Z
Zemoh, Ndzebelai Precious	(CSF) Symbolic Protocol Verification
Zhang, Yu	(CSF) Authenticity & Identity