17 citations · 35 across the 10 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.CR2021
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
Amir Naseredini, Stefan Gast, Martin Schwarzl +5
In this paper, we analyze the security of programming languages and their execution environments (compilers and interpreters) with respect to Spectre attacks. The analysis shows th…
math.OA2021
Abstract Operator Systems over the Cone of Positive Semidefinite Matrices
Martin Berger, Tim Netzer
There are several important abstract operator systems with the convex cone of positive semidefinite matrices at the first level. Well-known are the operator systems of separable ma…
cs.LO2021
A program logic for fresh name generation
Harold Pancho Eliott, Martin Berger
We present a program logic for Pitts and Stark's ν-calculus, an extension of the call-by-value simply-typed λ-calculus with a mechanism for the generation of fresh names. Names can…