PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Mohamed Amine Ferrag

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. Authentication and Authorization for Mobile IoT Devices using Bio-features: Recent Advances and Future Trends

    2019 · arXiv (Cornell University)

    Bio-features are fast becoming a key tool to authenticate the IoT devices; in this sense, the purpose of this investigation is to summaries the factors that hinder biometrics models' development and deployment on a large …

  2. A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

    2023 · arXiv (Cornell University)

    This paper introduces an innovative approach that combines Large Language Models (LLMs) with Formal Verification strategies for automatic software vulnerability repair. Initially, we employ Bounded Model Checking (BMC) to identify vulnerabilities and extract counterexamples. These …