Master's Projects
Permanent URI for this collection
Browse
Browsing Master's Projects by Supervisor "AlTawy, Riham"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item A Decentralized Application for Location Tracking: dApp GPS Tracker(2022-02-08) Padala, Sainath; AlTawy, RihamEnsuring the safety of the family members is always a Parent’s priority. Nowadays, a mobile phone is a necessary gadget present with every person. It will be a lot easier if a Parent can ensure the family’s security right from the phone. Thus, in this project, a decentralized mobile application (dApp) is developed, which helps the Parent to track their Child’s location. This dApp provides various features such as getting the child's current location and tracking location when they are on the move. Moreover, the Parent can use this location data and open their preferred map to navigate to their Child’s location. This dApp guarantees maximum accuracy, precision and privacy of data. Data privacy is ensured by encrypting the coordinates with a secret password known only to the Parent and the Child. The encryption algorithm used in this dApp is AES (Advanced Encryption Standard), which is the most popular and is an industry-standard for security. Although many similar applications offer these features, they are controlled by a central authority, where total control over data lies. If the central authority is compromised or goes down, then user’s data is no longer safe, and there is a chance data gets deleted. To address this issue, this dApp uses blockchain in the backend. Blockchain is a distributed ledger, and there are many advantages in using it compared to a centralized entity. Blockchain ensures data is readily available across multiple nodes, data is tamper-proof, and gives the user control of the application.Item Security Analysis for Vehicle Area Networks Protocol Using AVISPA(2024) Alahmar, Alaa; Gebali, Fayez; AlTawy, RihamIn the era of smart transportation, Vehicle Area Networks (VANs) are critical in enabling secure communication between vehicles and infrastructure. This project examines the security robustness of the PUFGuard protocol, a physically unclonable function (PUF)-based authentication framework designed to protect Vehicle-to-Infrastructure (V2I) and Vehicle-to-Vehicle (V2V) communications in VANs. PUFGuard leverages the inherent uniqueness of PUFs for secure key generation and authentication, aiming to establish trust and resilience against adversarial attacks in dynamic, multi-hop communication environments. To validate PUFGuard’s resilience, this research employs formal verification tools—AVISPA and SPAN—to simulate and analyze its effectiveness against common network threats, including replay attacks, manin-the-middle attacks, and impersonation attacks. The protocol is modelled in the High-Level Protocol Specification Language (HLPSL), where each component of the V2I and V2V authentication processes is systematically represented. Results from the AVISPA tests highlight the protocol’s strengths and potential vulnerabilities, providing insights into the adequacy of PUFGuard’s security measures in real-world VAN applications. The findings of this study suggest refinements to fortify PUFGuard further, offering a framework for secure, authenticated communication in modern vehicular networks.