Marco Eilers | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Peter Müller
27 publications
David Basin
18 publications
Alexander J. Summers
8 publications
Thibault Dardinier
4 publications
Felix A. Wolf
4 publications
Christoph Sprenger
2 publications
Martin Clochard
2 publications
Tobias Klenze
1 publication
Christian Bräm
1 publication
Robin Sierra
1 publication

research

∙ 11/15/2022

CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity

Information flow security ensures that the secret data manipulated by a ...

0 Marco Eilers, et al. ∙

research

∙ 04/20/2021

Modular Verification of Collaborating Smart Contracts

Smart contracts are programs that execute inside blockchains such as Eth...

0 Christian Bräm, et al. ∙

research

∙ 10/09/2020

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have...

0 Christoph Sprenger, et al. ∙