Concepedia

Michael Rodler

MR

6

Publications

133

Citations

6

H-Index

2013

Active since

Affiliations

University of Duisburg-Essen(Current)

Sharp Laboratories of Europe (United Kingdom)

Michael Rodler is an author at University of Duisburg-Essen specializing in formal verification, data security, and system software.

Top concepts

EngineeringData SecuritySystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisSoftware SecurityFormal VerificationComputer Engineering

Publications per year

2013–2023

6

Publications

6

Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

Michael Rodler, Wenting Li, Ghassan Karame et al. · 2019 · 30 citations · Full text

ANANAS - A Framework for Analyzing Android Applications

Thomas Eder, Michael Rodler, Dieter Vymazal et al. · 2013 · 29 citations · Full text

EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts

Michael Rodler, Wenting Li, Ghassan Karame et al. · arXiv (Cornell University) · 2020 · 26 citations · Full text

Software Maintenance, Engineering, Information Security +22

EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation

Michael Rodler, David Paaßen, Wenting Li et al. · 2023 · 19 citations

TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves

Tobias Cloosters, Michael Rodler, Lucas Davi · arXiv (Cornell University) · 2020 · 16 citations · Full text

Engineering, Information Security, Computer Architecture +20

Rows per page

1–5 of 6