14 citations · 21 across the 9 of their papers we have counts for
9 papers
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…
A Survey on Privacy Attacks Against Digital Twin Systems in AI-Robotics
Ivan A. Fernandez, Subash Neupane, Trisha Chakraborty +5
Industry 4.0 has witnessed the rise of complex robots fueled by the integration of Artificial Intelligence/Machine Learning (AI/ML) and Digital Twin (DT) technologies. While these…
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…
Security Considerations in AI-Robotics: A Survey of Current Methods, Challenges, and Opportunities
Subash Neupane, Shaswata Mitra, Ivan A. Fernandez +5
Robotics and Artificial Intelligence (AI) have been inextricably intertwined since their inception. Today, AI-Robotics systems have become an integral part of our daily lives, from…
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,…
TwinExplainer: Explaining Predictions of an Automotive Digital Twin
Subash Neupane, Ivan A. Fernandez, Wilson Patterson +3
Vehicles are complex Cyber Physical Systems (CPS) that operate in a variety of environments, and the likelihood of failure of one or more subsystems, such as the engine, transmissi…
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…
A Temporal Anomaly Detection System for Vehicles utilizing Functional Working Groups and Sensor Channels
Subash Neupane, Ivan A. Fernandez, Wilson Patterson +2
A modern vehicle fitted with sensors, actuators, and Electronic Control Units (ECUs) can be divided into several operational subsystems called Functional Working Groups (FWGs). Exa…