scientific article; zbMATH DE number 7327948

MaRDI QIDQ5856419

Laurent Mounier, Marie-Laure Potet, Cristian Ene

Publication date: 26 March 2021

Full work available at URL: https://arxiv.org/abs/1909.09567

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

type systeminformation flowoutput-sensitive non-interference

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• LLVM
• Boogie
• NaCl
• JFlow
• CacheAudit

Cites Work

• Security types preserving compilation
• Verifying constant-time implementations by abstract interpretation
• Lucky Microseconds: A Timing Attack on Amazon’s s2n Implementation of TLS
• The Security Impact of a New Cryptographic Library
• The program dependence graph and its use in optimization
• Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC
• Transforming out timing leaks
• Downgrading policies and relaxed noninterference
• On flow-sensitive security types
• Verification, Model Checking, and Abstract Interpretation
• Information Security and Cryptology - ICISC 2005

This page was built for publication: