Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Prof. Dr. Lucas Davi

Informatik / SE

Anschrift
Gerlingstr. 16
45127 Essen
Raum
S - GW 212
Telefon
+49 201 18 3 6445
E-Mail
lucas.davi@uni-due.de
Webseite
https://www.syssec.wiwi.uni-due.de/

Funktionen

  • Gruppe der Hochschullehrerinnen und Hochschullehrer, Fakultätsrat

  • Stellv. Vorsitz, Promotionsausschuss

  • Universitätsprofessor/in, Systemsicherheit

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Artikel in Zeitschriften

  • Linsner, Sebastian; Demuth, Kilian; Surminski, Sebastian; Davi, Lucas; Reuter, Christian
    Building trust in remote attestation through transparency : A qualitative user study on observable attestation
    In: Behaviour & Information Technology (BIT), Jg. 44, 2024, Nr. 9, S. 1766 – 1786
    DOI (Open Access)
  • Cloosters, Tobias; Draissi, Oussama; Willbold, Johannes; Holz, Thorsten; Davi, Lucas
    Memory Corruption at the Border of Trusted Execution
    In: IEEE Security & Privacy: (M-S&P), Jg. 22, 2024, Nr. 4, S. 87 – 96
    DOI, Online Volltext (Open Access)
  • McLaughlin, Stephen; Konstantinou, Charalambos; Wang, Xueyang; Davi, Lucas; Sadeghi, Ahmad-Reza; Maniatakos, Michail; Karri, Ramesh
    The Cybersecurity Landscape in Industrial Control Systems
    In: Proceedings of the IEEE (PROC), Jg. 104, 2016, Nr. 5, S. 1039 – 1057
    DOI

    • Abstracts

  • Surminski, Sebastian; Rodler, Michael; Davi, Lucas
    Poster: Automated Evaluation of Fuzzers
    26th Annual Network and Distributed System Security Symposium (NDSS); February 24-27, 2019; San Diego, USA,
    2019
    Online Volltext (Open Access)

    • Beiträge in Sammelwerken und Tagungsbänden

  • Mackensen, Philipp; Niesler, Christian; Blanco, Roberto; Davi, Lucas; Moonsamy, Veelasha
    KINTSUGI : Secure Hotpatching for Code-Shadowing Real-Time Embedded Systems
    In: Proceedings of the 34th USENIX Security Symposium / 34th USENIX Security Symposium; August 13–15, 2025: Seattle, USA. Berkeley: USENIX Association, 2025, S. 1847 – 1866
  • Willbold, Johannes; Cloosters, Tobias; Wörner, Simon; Buchmann, Felix; Schloegel, Moritz; Davi, Lucas; Holz, Thorsten
    Space RADSIM : Binary-Agnostic Fault Injection to Evaluate Cosmic Radiation Impact on Exploit Mitigation Techniques in Space
    In: 2025 IEEE Symposium on Security and Privacy / 2025 IEEE Symposium on Security and Privacy (SP), 12-15 May 2025, San Francisco, CA, USA. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2025, S. 1047 – 1063
    DOI
  • Andreina, Sébastien; Giesen, Jens-Rene; Cloosters, Tobias; Gutfleisch, Marco; Davi, Lucas; Karame, Ghassan; Naiakshina, Alena; Naji, Houda
    Defying the Odds : Solana’s Unexpected Resilience in Spite of the Security Challenges Faced by Developers
    In: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security / CCS '24: ACM SIGSAC Conference on Computer and Communications Security, Salt Lake City, UT, USA, October 14 - 18, 2024. New York: Association for Computing Machinery, Inc, 2024, S. 4226 – 4240
    DOI (Open Access)
  • Staudigl, Felix; Thoma, Jan Philipp; Niesler, Christian; Sturm, Karl; Pelke, Rebecca; Germek, Dominik; Joseph, Jan Moritz; Güneysu, Tim; Davi, Lucas; Leupers, Rainer
    NVM-Flip : Non-Volatile-Memory BitFlips on the System Level
    In: Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems / CODASPY '24: Fourteenth ACM Conference on Data and Application Security and Privacy, Porto, Portugal, 21 June 2024 / Gupta, Maanak (Hrsg.). New York: Association for Computing Machinery, Inc, 2024, S. 11 – 20
    DOI (Open Access)
  • Surminski, Sebastian; Niesler, Christian; Davi, Lucas; Sadeghi, Ahmad-Reza
    DMA’n’Play : Practical Remote Attestation Based on Direct Memory Access
    In: Applied Cryptography and Network Security: Proceedings, Part II / 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023 / Tibouchi, Mehdi; Wang, XiaoFeng (Hrsg.). Berlin: Springer, 2023, S. 32 – 61
    DOI
  • Rodler, Michael; Paaßen, David; Li, Wenting; Bernhard, Lukas; Holz, Thorsten; Karame, Ghassan; Davi, Lucas
    EF↯CF : High Performance Smart Contract Fuzzing for Exploit Generation
    In: 8th IEEE European Symposium on Security and Privacy: EUROS&P 2023 ; Proceedings / 8th IEEE European Symposium on Security and Privacy ; EUROS&P 2023 ; July 3 to July 7, 2023, Delft, The Nederlands. Piscataway: Institute of Electrical and Electronics Engineers, 2023, S. 449 – 471
    DOI, Online Volltext (Open Access)
  • Smolka, Sven; Giesen, Jens-Rene; Winkler, Pascal; Draissi, Oussama; Davi, Lucas; Karame, Ghassan; Pohl, Klaus
    Fuzz on the Beach : Fuzzing Solana Smart Contracts
    In: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security / CCS '23: ACM SIGSAC Conference on Computer and Communications Security, Copenhagen, Denmark, November 26 - 30, 2023. New York: Association for Computing Machinery, Inc, 2023, S. 1197 – 1211
    DOI, Online Volltext (Open Access)
  • Surminski, Sebastian; Niesler, Christian; Linsner, Sebastian; Davi, Lucas; Reuter, Christian
    SCAtt-man: Side-Channel-Based Remote Attestation for Embedded Devices that Users Understand
    In: Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy / CODASPY '23: Thirteenth ACM Conference on Data and Application Security and Privacy, April 24 - 26, 2023, Charlotte NC USA / Shehab, Mohamed (Hrsg.). New York: Association for Computing Machinery, 2023, S. 225 – 236
    DOI (Open Access)
  • Cloosters, Tobias; Paaßen, David; Wang, Jianqiang; Draissi, Oussama; Jauernig, Patrick; Stapf, Emmanuel; Davi, Lucas; Sadeghi, Ahmad-Reza
    RiscyROP : Automated Return-Oriented Programming Attacks on RISC-V and ARM64
    In: Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses / RAID 2022: 25th International Symposium on Research in Attacks, Intrusions and Defenses Limassol, 26.-28.10.2022, Cyprus. New York: Association for Computing Machinery, 2022, S. 30 – 42
    DOI
  • Cloosters, Tobias; Willbold, Johannes; Holz, Thorsten; Davi, Lucas
    SGXFUZZ : Efficiently Synthesizing Nested Structures for SGX Enclave Fuzzing
    In: Proceedings of the 31st USENIX Security Symposium (Security 2022) / 31st USENIX Security Symposium (Security 2022): Boston, USA; 10 -12 August 2022. Berkeley: USENIX Association, 2022, S. 3147 – 3164
  • Cloosters, Tobias; Surminski, Sebastian; Sangel, Gerrit; Davi, Lucas
    Salsa : SGX Attestation for Live Streaming Applications
    In: 2022 IEEE Secure Development Conference: SecDev 2022 ; Atlanta, Georgia, 18-20 October 2022 ; proceedings / 7th IEEE Secure Development Conference ; SecDev 2022 ; 18-20 October 2022, Atlanta, Ga., USA / IEEE Computer Society (Hrsg.). Los Alamitos: IEEE, 2022, S. 45 – 51
    DOI, Online Volltext
  • Giesen, Jens-Rene; Andreina, Sebastien; Rodler, Michael; Karame, Ghassan O.; Davi, Lucas
    Tutorial : Analyzing, Exploiting, and Patching Smart Contracts in Ethereum
    In: 2022 IEEE Secure Development Conference: SecDev 2022 ; Atlanta, Georgia, 18-20 October 2022 ; proceedings / 7th IEEE Secure Development Conference ; SecDev 2022 ; 18-20 October 2022, Atlanta, Ga., USA / IEEE Computer Society (Hrsg.). Los Alamitos: IEEE, 2022, S. 3 – 4
    DOI, Online Volltext
  • Rodler, Michael; Li, Wenting; Karame, Ghassan O.; Davi, Lucas
    EVMPatch: Timely and automated patching of ethereum smart contracts
    In: Proceedings of the 30th USENIX Security Symposium: August 11-13, 2021 / 30th USENIX Security Symposium; August 11-13, 2021; Online / USENIX Association (Hrsg.): USENIX Association, 2021, S. 1289 – 1306
    (Open Access)
  • Niesler, Christian; Surminski, Sebastian; Davi, Lucas
    HERA: Hotpatching of Embedded Real-time Applications
    In: Network and Distributed Systems Security (NDSS) Symposium 2021 / NDSS Symposium 2021; 21-25 February 2021; Virtual: dblp, 2021, S. 1 – 16
    DOI, Online Volltext (Open Access)
  • Paaßen, David; Surminski, Sebastian; Rodler, Michael; Davi, Lucas
    My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers
    In: Computer Security – ESORICS 2021 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021: Proceedings, Part I / 26th European Symposium on Research in Computer Security (ESORICS), 4 - 8.10.2021, Darmstadt, Virtual, 2021 / Bertino, Elisa; Shulman, Haya; Waidner, Michael (Hrsg.). Cham: Springer, 2021, S. 173 – 193
    DOI, Online Volltext (Open Access)
  • Polian, Ilia; Altmann, Frank; Arul, Tolga; Boit, Christian; Brederlow, Ralf; Davi, Lucas; Drechsler, Rolf; Du, Nan; Eisenbarth, Thomas; Guneysu, Tim; Hermann, Sascha; Hiller, Matthias; Leupers, Rainer; Merchant, Farhad; Mussenbrock, Thomas; Katzenbeisser, Stefan; Kumar, Akash; Kunz, Wolfgang; Mikolajick, Thomas; Pachauri, Vivek; Seifert, Jean-Pierre; Torres, Frank Sill; Trommer, Jens
    Nano Security: From Nano-Electronics to Secure Systems
    In: Proceedings of the 2021 Design, Automation & Test in Europe (DATE 2021) / 24 Design, Automation & Test in Europe Conference & Exhibition ; 01-05 February 2021; Online. Piscataway: Institute of Electrical and Electronics Engineers, 2021, S. 1334 – 1339
    DOI
  • Surminski, Sebastian; Niesler, Christian; Brasser, Ferdinand; Davi, Lucas; Sadeghi, Ahmad-Reza
    RealSWATT : Remote Software-based Attestation for Embedded Devices under Realtime Constraints
    In: CCS '21: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security / CCS 2021, 15 - 19 November 2021, Virtual, Online. New York: Association for Computing Machinery (ACM), 2021, S. 2890 – 2905
    DOI, Online Volltext (Open Access)
  • Adepu, Sridhar; Brasser, Ferdinand; Garcia, Luis; Rodler, Michael; Davi, Lucas; Sadeghi, Ahmad-Reza; Zonouz, Saman
    Control behavior integrity for distributed cyber-physical systems
    In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems: Proceedings / International Conference on Cyber-Physical Systems ; 21-24 April 2020, Sydney / Maggio, Martina; Weimer, James (Hrsg.). Piscataway: IEEE, 2020, S. 30 – 40
    DOI, Online Volltext (Open Access)
  • Cloosters, Tobias; Rodler, Michael; Davi, Lucas
    TEEREX: Discovery and exploitation of memory corruption vulnerabilities in SGX enclaves
    In: Proceedings of the 29th USENIX Security Symposium: August 12-14, 2020 / 29th USENIX Security Symposium, 12.-14.08.2020. [Berkeley, CA]: USENIX Association, 2020, S. 841 – 858
  • Dessouky, Ghada; Zeitouni, Shaza; Ibrahim, Ahmad; Davi, Lucas; Sadeghi, Ahmad-Reza
    CHASE : A configurable hardware-assisted security extension for real-time systems
    In: 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD): digest of technical papers : November 4-7, 2019, Westin Westminster, CO / 38th IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 04.-07.11.2019; Westin Westminster. Piscataway: Institute of Electrical and Electronics Engineers, 2019
    DOI
  • Davi, Lucas; Hatebur, Denis; Heisel, Maritta; Wirtz, Roman
    Combining safety and security in autonomous cars using blockchain technologies
    In: Computer Safety, Reliability, and Security: Proceedings / SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, 10.09.2019, Turku, Finland / Romanovsky, Alexander; Troubitsyna, Elena; Gashi, Ilir; Schoitsch, Erwin; Bitsch, Friedemann (Hrsg.). Cham: Springer, 2019, S. 223 – 234
    DOI
  • Rodler, Michael; Li, Wenting; Karame, Ghassan O.; Davi, Lucas
    Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks
    In: Proceedings 2019 Network and Distributed System Security Symposium / 26th Annual Network and Distributed System Security Symposium (NDSS); February 24-27, 2019; San Diego, USA: Internet Society, 2019
    DOI (Open Access)
  • Jin, Yier; Sullivan, Dean; Arias, Orlando; Sadeghi, Ahmad-Reza; Davi, Lucas
    Hardware control flow integrity
    In: The Continuing Arms Race: Code-Reuse Attacks and Defenses / Larsen, Per; Sadeghi, Ahmad-Reza (Hrsg.): ACM, 2018, S. 181 – 210
    DOI
  • Gens, David; Schmitt, Simon; Davi, Lucas; Sadeghi, Ahmad-Reza
    K-Miner: Uncovering Memory Corruption in Linux
    In: Proceedings 2018 Network and Distributed System Security Symposium / Network and Distributed Systems Security (NDSS) Symposium; 18-21 February 2018; San Diego, USA: Internet Society, 2018
    DOI (Open Access)
  • Brasser, Ferdinand; Davi, Lucas; Dhavlle, Abhijitt; Frassetto, Tommaso; Dinakarrao, Sai Manoj Pudukotai; Rafatirad, Setareh; Sadeghi, Ahmad-Reza; Sasan, Avesta; Sayadi, Hossein; Zeitouni, Shaza; Homayoun, Houman
    Special Session : Advances and Throwbacks in Hardware-Assisted Security
    In: 2018 International Conference on Compilers, Architecture and Synthesis for Embedded Systems / CASES 2018, International Conference on Compilers, Architecture and Synthesis for Embedded Systems, September 30-October 5, 2018, Torino Incontra Congress Center, Turin, Italy; Henkel, Jörg. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2018
    DOI
  • Biondo, Andrea; Conti, Mauro; Davi, Lucas; Frassetto, Tommaso; Sadeghi, Ahmad-Reza
    The Guard's Dilemma : Efficient code-reuse attacks against intel SGX
    In: Proceedings of the 27th USENIX Security Symposium / USENIX Security Symposium ; August 15-17, 2018, Baltimore: USENIX Association, 2018, S. 1213 – 1227
  • Rudd, Robert; Skowyra, Richard; Bigelow, David; Dedhia, Veer; Hobson, Thomas; Crane, Stephen; Liebchen, Christopher; Larsen, Per; Davi, Lucas; Franz, Michael; Sadeghi, Ahmad-Reza; Okhravi, Hamed
    Address Oblivious Code Reuse : On the Effectiveness of Leakage-Resilient Diversity
    In: Proceedings 2017 Network and Distributed System Security Symposium / 24th Annual Network & Distributed System Security Symposium (NDSS); February 26 - March 1, 2017; San Diego; USA: Internet Society, 2017
    DOI (Open Access)
  • Pewny, Jannik; Koppe, Philipp; Davi, Lucas; Holz, Thorsten
    Breaking and fixing destructive code read defenses
    In: Proceedings of the 33rd Annual Computer Security Applications Conference / ACSAC 2017, Orlando, FL, USA, December 04 - 08, 2017. New York: ACM, 2017, S. 55 – 67
    DOI, Online Volltext (Open Access)
  • Nyman, Thomas; Ekberg, Jan-Erik; Davi, Lucas; Asokan, N.
    CFI CaRE : Hardware-Supported Call and, Return Enforcement for Commercial Microcontrollers
    In: Research in Attacks, Intrusions, and Defenses: Proceedings / 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017 / Dacier, Marc; Bailey, Michael; Polychronakis, Michalis; Antonakakis, Manos (Hrsg.). Berlin: Springer Verlag, 2017, S. 259 – 284
    DOI
  • Brasser, Ferdinand; Davi, Lucas; Gens, David; Liebchen, Christopher; Sadeghi, Ahmad-Reza
    Can’t touch this : Software-only mitigation against rowhammer attacks targeting kernel memory
    In: Proceedings of the 26th USENIX Security Symposium / 26th USENIX Security Symposium : August 16-18, 2017, Vancouver, BC, Canada. Berkeley: USENIX Association, 2017, S. 117 – 130
  • Dessouky, Ghada; Zeitouni, Shaza; Nyman, Thomas; Paverd, Andrew; Davi, Lucas; Koeberl, Patrick; Asokan, N.; Sadeghi, Ahmad-Reza
    LO-FAT : Low-Overhead Control Flow ATtestation in Hardware
    In: Proceedings of the 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC) / Bertacco, Valeria; ACM/EDAC/IEEE Design Automation Conference, Austin, Texas, 2017.06.18-22 / Institute of Electrical and Electronics Engineers (Hrsg.). Piscataway: IEEE, 2017
    DOI, Online Volltext (Open Access)
  • Davi, Lucas; Gens, David; Liebchen, Christopher; Sadeghi, Ahmad-Reza
    PT-Rand: Practical Mitigation of Data-only Attacks against Page Tables
    In: Proceedings 2017 Network and Distributed System Security Symposium / 24th Annual Network & Distributed System Security Symposium (NDSS); February 26 - March 1, 2017; San Diego; USA (Hrsg.): Internet Society, 2017
    DOI (Open Access)
  • Abera, Tigist; Asokan, N.; Davi, Lucas; Ekberg, Jan-Erik; Nyman, Thomas; Paverd, Andrew; Sadeghi, Ahmad-Reza; Tsudik, Gene
    C-FLAT: Control-flow attestation for embedded systems software
    In: Proceedings of the ACM Conference on Computer and Communications Security / Weippl, Edgar; CCS'16: 2016 ACM SIGSAC Conference on Computer and Communications Security; October 24 - 28, 2016; Vienna, Austria. New York: Association for Computing Machinery, 2016, S. 743 – 754
    DOI (Open Access)
  • Abera, Tigist; Asokan, N.; Davi, Lucas; Koushanfar, Farinaz; Paverd, Andrew; Sadeghi, Ahmad-Reza; Tsudik, Gene
    Invited - Things, trouble, trust : On building trust in IoT systems
    In: Proceedings of the 53rd Annual Design Automation Conference / DAC '16: The 53rd Annual Design Automation Conference; June 5 - 9, 2016; Austin, USA. New York: Institute of Electrical and Electronics Engineers, 2016, 121
    DOI
  • Braden, Kjell; Crane, Stephen; Davi, Lucas; Franz, Michael; Larsen, Per; Liebchen, Christopher; Sadeghi, Ahmad-Reza
    Leakage-Resilient Layout Randomization for Mobile Devices
    In: Proceedings 2016 Network and Distributed System Security Symposium / 23rd Annual Network and Distributed System Security Symposium (NDSS), February 21-24, 2016; San Diego, USA: Internet Society, 2016
    DOI
  • Deshotels, Luke; Deaconescu, Rǎzvan; Chiroiu, Mihai; Davi, Lucas; Enck, William; Sadeghi, Ahmad-Reza
    SandScout: Automatic detection of flaws in iOS sandbox profiles
    In: Proceedings of the ACM Conference on Computer and Communications Security / Weippl, Edgar; CCS'16: 2016 ACM SIGSAC Conference on Computer and Communications Security; October 24 - 28, 2016; Vienna, Austria. New York: Association for Computing Machinery, 2016, S. 704 – 716
    DOI (Open Access)
  • Sullivan, Dean; Arias, Orlando; Davi, Lucas; Larsen, Per; Sadeghi, Ahmad-Reza; Jin, Yier
    Strategy without tactics : Policy-agnostic hardware-enhanced control-flow integrity
    In: Proceedings of the 53rd Annual Design Automation Conference / DAC '16: The 53rd Annual Design Automation Conference; June 5 - 9, 2016; Austin, USA. New York: Institute of Electrical and Electronics Engineers, 2016, 163
    DOI
  • Lettner, Julian; Kollenda, Benjamin; Homescu, Andrei; Larsen, Per; Schuster, Felix; Davi, Lucas; Sadeghi, Ahmad-Reza; Holz, Thorsten; Franz, Michael
    Subversive-C: Abusing and protecting dynamic message dispatch
    In: Proceedings of USENIX ATC ’16, 2016 USENIX Annual Technical Conference: June 22-24, 2016, Denver, CO, USA / 2016 USENIX Annual Technical Conference (USENIX ATC); June 22–24, 2016 ; Denver, USA: USENIX Association, 2016, S. 209 – 221
    (Open Access)

    • Bücher/Sammelwerke/Tagungsbände

  • Davi, Lucas; Sadeghi, Ahmad-Reza
    Building Secure Defenses Against Code-Reuse Attacks
    Springer2015(SpringerBriefs in Computer Science)
    DOI

    • Vorträge

  • Sullivan, Dean; Arias, Orlando; Davi, Lucas; Sadeghi, Ahmad-Reza; Jin, Yier
    Towards a Policy-Agnostic Control-Flow Integrity Implementation
    Black Hat Europe; November; 1-6 2016; London, UK,
    2016