Marco Eilers

Identifiers

• name variant Marco Eilers 0.60 · backfill

Papers (5)

1. Verification Algorithms for Automated Separation Logic Verifiers cs.PL · 2024 · author #1
2. Protocols to Code: Formal Verification of a Next-Generation Internet Router cs.CR · 2024 · author #7
3. CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity cs.CR · 2022 · author #1
4. Rich Specifications for Ethereum Smart Contract Verification cs.PL · 2021 · author #2
5. Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification cs.LO · 2020 · author #3

Mentions

• 2405.10661 #1 · arxiv_oai · confidence 0.70 Marco Eilers
• 2405.06074 #7 · arxiv_oai · confidence 0.70 Marco Eilers
• 2211.08459 #1 · arxiv_oai · confidence 0.70 Marco Eilers
• 2104.10274 #2 · arxiv_oai · confidence 0.70 Marco Eilers
• 2010.04749 #3 · arxiv_oai · confidence 0.70 Marco Eilers

Frequent Coauthors

• Peter M\"uller 5 shared papers
• Christoph Sprenger 2 shared papers
• David Basin 2 shared papers
• Felix A. Wolf 2 shared papers
• Tobias Klenze 2 shared papers
• Adrian Perrig 1 shared papers
• Alexander J. Summers 1 shared papers
• Christian Br\"am 1 shared papers
• Dionysios Spiliopoulos 1 shared papers
• Jo\~ao C. Pereira 1 shared papers
• Malte Schwerhoff 1 shared papers
• Markus Limbeck 1 shared papers
• Martin Clochard 1 shared papers
• Robin Sierra 1 shared papers
• Sofia Giampietro 1 shared papers
• Thibault Dardinier 1 shared papers