Autor der Publikation

Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts.

, , , , , , und . USENIX Security Symposium, USENIX Association, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning., , , , , , , und . CoRR, (2024)Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications., , , , , , , und . CoRR, (2024)Exploration on Spatiotemporal Data Repairing of Parking Lots Based on Recurrent GANs., , , und . ITSC, Seite 467-472. IEEE, (2018)An Improved TFIDF Algorithm Based on Dual Parallel Adaptive Computing Model., , , , und . iThings/GreenCom/CPSCom/SmartData, Seite 657-663. IEEE, (2018)MineDetector: JavaScript Browser-side Cryptomining Detection using Static Methods., , , , , und . CSE, Seite 87-93. IEEE, (2021)Word-Lattice Parsing Parallel Algorithm., , , , und . DBTA, Seite 1-4. IEEE, (2010)PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation., , , , , , und . CoRR, (2024)Substantial Development Strategy of Land Resource in Zhangjiakou., , und . CSEE (1), Volume 214 von Communications in Computer and Information Science, Seite 239-243. Springer, (2011)Bayesian Spam Filtering Mechanism Based on Decision Tree of Attribute Set Dependence in the MapReduce Framework, , , , und . Open Cybernetics & Systemics Journal, (2014)WAIN: Automatic Web Application Identification and Naming Method., , , , und . Internetware, Seite 37-44. ACM, (2022)