( en | de | ru )

 

Disambiguation of "Eilers, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
Rich specifications for Ethereum smart contract verification.

, , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Massimiliano Marcon

Carlos Javier Marcos Navas

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

 

Other publications of authors with the same name

Modular Product Programs., , and . ACM Trans. Program. Lang. Syst., 42 (1): 3:1-3:37 (2020)Nagini: A Static Verifier for Python., and . CAV (1), volume 10981 of Lecture Notes in Computer Science, page 596-603. Springer, (2018)Modular Product Programs., , and . ESOP, volume 10801 of Lecture Notes in Computer Science, page 502-529. Springer, (2018)Modular Verification of Collaborating Smart Contracts., , , , and . CoRR, (2021)MaxSMT-Based Type Inference for Python 3., , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 12-19. Springer, (2018)Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security., , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 718-741. Springer, (2021)CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity., , and . Proc. ACM Program. Lang., 7 (PLDI): 1682-1707 (2023)Modular Specification and Verification of Security Properties for Mainstream Languages.. ETH Zurich, Zürich, Switzerland, (2022)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/580641).Rich specifications for Ethereum smart contract verification., , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity., , and . CoRR, (2022)