Michael Rodler

According to our database1, Michael Rodler authored at least 10 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
EF↯CF: High Performance Smart Contract Fuzzing for Exploit Generation.
Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

2022
Practical Mitigation of Smart Contract Bugs.
CoRR, 2022

Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum.
Proceedings of the IEEE Secure Development Conference, 2022

xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64.
Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

2021
EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts.
Proceedings of the 30th USENIX Security Symposium, 2021

My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers.
Proceedings of the Computer Security - ESORICS 2021, 2021

2020
TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves.
Proceedings of the 29th USENIX Security Symposium, 2020

Control Behavior Integrity for Distributed Cyber-Physical Systems.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

2019
Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks.
Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2013
ANANAS - A Framework for Analyzing Android Applications.
Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013


  Loading...