EasyChair Smart SlideDocs/Log in
Conference: FCS 2018 (Workshop on Foundations of Computer Security 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler

A Study on the Preservation on Cryptographic Constant-Time Security in the CompCert Compiler

Alix Trieu

A Formal Approach to Cyber-Physical Attacks

A Formal Approach to Cyber-Physical Attacks

Ruggero Lanotte, Massimo Merro, Riccardo Muradore and Luca Viganò

A Homotopical Approach to Cryptography

A Homotopical Approach to Cryptography

Paventhan Vivekanandan

Homomorphisms and Minimality for Enrich-by-Need Security Analysis

Homomorphisms and Minimality for Enrich-by-Need Security Analysis

Daniel Dougherty, Joshua Guttman and John Ramsdell

An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control

An Expressive, Flexible and Uniform Logical Formalism for Attribute-based Access Control

Jiaming Jiang, Rada Chirkova, Jon Doyle and Arnon Rosenthal

Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols

Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols

Musab A. Alturki, Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov and Carolyn Talcott

Presentations in this collection: 6
Copyright © 2002 – 2024 EasyChair