Marco Eilers

18 papers A* 1A 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Fifteen Years of Viper.
CAV (1)
Marco Eilers, Malte Schwerhoff, Alexander J. Summers, Peter Müller
2025 J jnl
Modular Reasoning about Global Variables and Their Initialization.
Proc. ACM Program. Lang.
João C. Pereira, Isaac van Bakel, Patricia Firlejczyk, Marco Eilers, Peter Müller
2025 A* conf
Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router.
CCS
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2024 J jnl
Protocols to Code: Formal Verification of a Next-Generation Internet Router.
CoRR
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2024 — conf
Verification Algorithms for Automated Separation Logic Verifiers.
CAV (1)
Marco Eilers, Malte Schwerhoff, Peter Müller
2024 J jnl
Verification Algorithms for Automated Separation Logic Verifiers.
CoRR
Marco Eilers, Malte Schwerhoff, Peter Müller
2023 J jnl
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity.
Proc. ACM Program. Lang.
Marco Eilers, Thibault Dardinier, Peter Müller
2022 J jnl
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity.
CoRR
Marco Eilers, Thibault Dardinier, Peter Müller
2022 — —
Modular Specification and Verification of Security Properties for Mainstream Languages.
Marco Eilers
2021 J jnl
Modular Verification of Collaborating Smart Contracts.
CoRR
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
2021 — conf
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.
CAV (1)
Marco Eilers, Severin Meier, Peter Müller
2021 J jnl
Rich specifications for Ethereum smart contract verification.
Proc. ACM Program. Lang.
Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers
2020 J jnl
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification.
CoRR
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020 J jnl
Igloo: soundly linking compositional refinement and separation logic for distributed system verification.
Proc. ACM Program. Lang.
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020 J jnl
Modular Product Programs.
ACM Trans. Program. Lang. Syst.
Marco Eilers, Peter Müller, Samuel Hitz
2018 — conf
MaxSMT-Based Type Inference for Python 3.
CAV (2)
Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller
2018 A conf
Modular Product Programs.
ESOP
Marco Eilers, Peter Müller, Samuel Hitz
2018 — conf
Nagini: A Static Verifier for Python.
CAV (1)
Marco Eilers, Peter Müller