Marco Eilers

According to our database, Marco Eilers authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Protocols to Code: Formal Verification of a Next-Generation Internet Router.

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

CoRR, 2024

Verification Algorithms for Automated Separation Logic Verifiers.

Marco Eilers, Malte Schwerhoff, Peter Müller

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

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

Marco Eilers, Thibault Dardinier, Peter Müller

Proc. ACM Program. Lang., 2023

2022

Modular Specification and Verification of Security Properties for Mainstream Languages.

Marco Eilers

PhD thesis, 2022

2021

Rich specifications for Ethereum smart contract verification.

Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers

Proc. ACM Program. Lang., 2021

Modular Verification of Collaborating Smart Contracts.

Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers

CoRR, 2021

Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.

Marco Eilers, Severin Meier, Peter Müller

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Modular Product Programs.

Marco Eilers, Peter Müller, Samuel Hitz

ACM Trans. Program. Lang. Syst., 2020

Igloo: soundly linking compositional refinement and separation logic for distributed system verification.

Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin

Proc. ACM Program. Lang., 2020

2018

MaxSMT-Based Type Inference for Python 3.

Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Nagini: A Static Verifier for Python.

Marco Eilers, Peter Müller

Proceedings of the Computer Aided Verification - 30th International Conference, 2018