14 citations · 21 across the 9 of their papers we have counts for
5 papers · 1 filter
ModelForge: Using GenAI to Improve the Development of Security Protocols
Martin Duclos, Ivan A. Fernandez, Kaneesha Moore +2
Formal methods can be used for verifying security protocols, but their adoption can be hindered by the complexity of translating natural language protocol specifications into forma…
Poison Attacks and Adversarial Prompts Against an Informed University Virtual Assistant
Ivan A. Fernandez, Subash Neupane, Sudip Mittal +1
Recent research has shown that large language models (LLMs) are particularly vulnerable to adversarial attacks. Since the release of ChatGPT, various industries are adopting LLM-ba…
Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
Martin Duclos, Ivan A. Fernandez, Kaneesha Moore +2
This paper proposes the use of Large Language Models (LLMs) for translating Request for Comments (RFC) protocol specifications into a format compatible with the Cryptographic Proto…
Impacts and Risk of Generative AI Technology on Cyber Defense
Subash Neupane, Ivan A. Fernandez, Sudip Mittal +1
Generative Artificial Intelligence (GenAI) has emerged as a powerful technology capable of autonomously producing highly realistic content in various domains, such as text, images,…
A White-Box Adversarial Attack Against a Digital Twin
Wilson Patterson, Ivan Fernandez, Subash Neupane +3
Recent research has shown that Machine Learning/Deep Learning (ML/DL) models are particularly vulnerable to adversarial perturbations, which are small changes made to the input dat…