Davi, Lucas

1. C-FLAT: Control-FLow ATtestation for Embedded Systems Software
   2016/05/25 by Abera, Tigist, Asokan, N., Davi, Lucas +5 · 3 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
2. Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
   2018/12/14 by Rodler, Michael, Li, Wenting, Karame, Ghassan O. +1 · 3 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
3. TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities\n in SGX Enclaves
   2020/07/15 by Tobias Cloosters, Cloosters, Tobias, Michael Rodler +3 · 3 citations
   Computer Science · Materials Science · #Advanced Malware Detection Techniques #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Diamond and Carbon-based Materials Research #FOS: Computer and information sciences #Security and Verification in Computing
4. Control Behavior Integrity for Distributed Cyber-Physical Systems
   2018/12/20 by Adepu, Sridhar, Brasser, Ferdinand, Garcia, Luis +4 · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
5. xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64
   2022/03/08 by Lukas Bernhard, Michael Rodler, Bernhard, Lukas +5 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
6. EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation
   2023/04/13 by Michael Rodler, Rodler, Michael, David Paaßen +11 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
7. CFI CaRE: Hardware-supported Call and Return Enforcement for Commercial Microcontrollers
   2017/06/18 by Thomas Nyman, Nyman, Thomas, Jan-Erik Ekberg +5 · 1 citation
   Computer Science · Materials Science · #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Diamond and Carbon-based Materials Research #FOS: Computer and information sciences #Security and Verification in Computing
8. EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts
   2020/10/01 by Michael Rodler, Rodler, Michael, Wenting Li +5 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC)
9. CAn't Touch This: Practical and Generic Software-only Defenses Against Rowhammer Attacks
   2016/11/25 by Lucas Davi, Brasser, Ferdinand, David Gens +9 · 1 voice
   Computer Science · Materials Science · #Cloud Data Security Solutions #Diamond and Carbon-based Materials Research #Security and Verification in Computing #cs.CR