FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
CSF CSF PROCEEDINGS: AUTHOR INDEX
A
Almeida, José Bacelar
Alvim, Mario S.
Audinot, Maxime
B
Barbosa, Manuel
Baritel-Ruet, Cécile
Barthe, Gilles
Basin, David
Blanchet, Bruno
Bonakdarpour, Borzoo
C
Chatzikokolakis, Kostas
Chen, Hongxu
Cheval, Vincent
Chudnov, Andrey
Cortier, Véronique
D
Daian, Philip
Devadas, Srini
Dragan, Constantin Cătălin
Dreier, Jannik
Dupressoir, François
E
Eugster, Patrick Thomas
F
Finkbeiner, Bernd
Fischlin, Marc
Fouque, Pierre-Alain
Fredrikson, Matt
G
Garg, Deepak
Giacomelli, Irene
Grégoire, Benjamin
Guth, Dwight
H
Haagh, Helene
Hess, Andreas Viktor
Hildenbrandt, Everett
Hirschi, Lucca
Hogan, Kyle
J
Jacomme, Charlie
Janson, Christian
Jha, Somesh
Jia, Limin
K
Karbyshev, Aleksandr
Khouzani, Mhr
Kordy, Barbara
Kremer, Steve
L
Laporte, Vincent
Lebedev, Ilia
Li, Baiyu
Liu, Yang
Luckow, Kasper
M
Malacaria, Pasquale
Marson, Giorgia Azzurra
Mazaheri, Sogol
McCall, Mckenna
Micciancio, Daniele
Moore, Brandon
Mödersheim, Sebastian A.
Müller, Christian
N
Naumann, David
O
Oechsner, Sabine
P
Pacheco, Hugo
Palamidessi, Catuscia
Park, Daejun
Pasareanu, Corina
Pazii, Anna
Pereira, Vitor
Phan, Quoc-Sang
Pinchinat, Sophie
Poettering, Bertram
Portela, Bernardo
R
Radomirovic, Sasa
Rajani, Vineet
Rodrigues, Nishant
Rosu, Grigore
S
Sasse, Ralf
Saxena, Manasvi
Schmid, Lara
Seidl, Helmut
Spitters, Bas
Stefanescu, Andrei
Strub, Pierre-Yves
T
Tiu, Alwen
Turuani, Mathieu
W
Warinschi, Bogdan
X
Xu, Zhiwu
Y
Yeom, Samuel
Z
Zalinescu, Eugen
Zhang, Hengruo
Zhang, Yi
Zhu, Xiaoran