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

  • Universitätsprofessor/in, Systemsicherheit

  • 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) (2024) in press
    Online Volltext: dx.doi.org/ (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
    Online Volltext: dx.doi.org/ (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
    Online Volltext: dx.doi.org/

    • 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

  • 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.) 2024, S. 11 - 20
    Online Volltext: dx.doi.org/ (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.) 2023, S. 32 - 61
    Online Volltext: dx.doi.org/
  • 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 2023, S. 449 - 471
    Online Volltext: dx.doi.org/ (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 2023, S. 1197 - 1211
    Online Volltext: dx.doi.org/ (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.) 2023, S. 225 - 236
    Online Volltext: dx.doi.org/ (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 2022, S. 30 - 42
    Online Volltext: dx.doi.org/
  • 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 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.) 2022, S. 45 - 51
    Online Volltext: dx.doi.org/
  • 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.) 2022, S. 3 - 4
    Online Volltext: dx.doi.org/
  • 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.) 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 2021, S. 1 - 16
    Online Volltext: dx.doi.org/ 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.) 2021, S. 173 - 193
    Online Volltext: dx.doi.org/ (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 2021, S. 1334 - 1339
    Online Volltext: dx.doi.org/
  • 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 2021, S. 2890 - 2905
    Online Volltext: dx.doi.org/ 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.) 2020, S. 30 - 40
    Online Volltext: dx.doi.org/ (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 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 2019
    Online Volltext: dx.doi.org/
  • 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.) 2019, S. 223 - 234
    Online Volltext: dx.doi.org/
  • 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 2019
    Online Volltext: dx.doi.org/ (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.) 2018, S. 181 - 210
    Online Volltext: dx.doi.org/
  • 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 2018
    Online Volltext: dx.doi.org/ (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 2018
    Online Volltext: dx.doi.org/
  • 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 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 2017
    Online Volltext: dx.doi.org/ (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 2017, S. 55 - 67
    Online Volltext: dx.doi.org/ (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.) 2017, S. 259 - 284
    Online Volltext: dx.doi.org/
  • 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 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.) 2017
    Online Volltext: dx.doi.org/ (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.) 2017
    Online Volltext: dx.doi.org/ (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 2016, S. 743 - 754
    Online Volltext: dx.doi.org/ (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 2016 121
    Online Volltext: dx.doi.org/
  • 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 2016
    Online Volltext: dx.doi.org/
  • 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 2016, S. 704 - 716
    Online Volltext: dx.doi.org/ (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 2016 163
    Online Volltext: dx.doi.org/
  • 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 2016, S. 209 - 221
    (Open Access)

    • Bücher/Sammelwerke/Tagungsbände

  • Davi, Lucas; Sadeghi, Ahmad-Reza
    Building Secure Defenses Against Code-Reuse Attacks
    In: SpringerBriefs in Computer Science (2015)
    Online Volltext: dx.doi.org/

    • 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)