FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Knowledge-based Security of Dynamic Secrets for Reactive Programs

Mckenna McCall, Hengruo Zhang and Limin Jia

Machine-checked proofs of privacy and verifiability for electronic voting

Véronique Cortier, Constantin Cătălin Dragan, François Dupressoir and Bogdan Warinschi

Alethea: A Provably Secure Random Sample Voting Protocol

David Basin, Sasa Radomirovic and Lara Schmid

An extensive formal analysis of multi-factor authentication protocols

Charlie Jacomme and Steve Kremer

Inductive Invariants for Noninterference in Multi-agent Workflows

Christian Müller, Helmut Seidl and Eugen Zalinescu

A Typing Result for Stateful Protocols

Andreas Viktor Hess and Sebastian A. Mödersheim

Formal Security Proof of CMAC and its Variants

Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque and Benjamin Grégoire

Backdoored Hash Functions: Immunizing HMAC and HKDF

Marc Fischlin, Christian Janson and Sogol Mazaheri

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon Moore, Daejun Park, Yi Zhang, Andrei Stefanescu and Grigore Rosu

A Cryptographic Look at Multi-Party Channels

Patrick Thomas Eugster, Giorgia Azzurra Marson and Bertram Poettering

Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks

Marc Fischlin and Sogol Mazaheri

Sanctum: Towards an Open-Source, Formally Verified Secure Processor

Srini Devadas

Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting

Samuel Yeom, Irene Giacomelli, Matt Fredrikson and Somesh Jha

Composition Theorems for CryptoVerif and Application to TLS 1.3

Bruno Blanchet

Guided design of attack trees: a system-based approach

Maxime Audinot, Sophie Pinchinat and Barbara Kordy

Symbolic security of garbled circuits

Baiyu Li and Daniele Micciancio

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira and Bernardo Portela

A Permission-Dependent Type System for Secure Information Flow Analysis

Hongxu Chen, Alwen Tiu, Zhiwu Xu and Yang Liu
Total: 18 presentations.