Project 1: CantorCipher – A lightweight cryptographic algorithm inspired by Cantor’s diagonal argument, enhanced with Boolean logic and multi-round bitwise mixing. Includes built-in message authentication and tamper detection.
Project 2: VeriCar – VeriCar is a Python-based domain-specific language (DSL) for the formal verification of traffic and autonomous vehicle systems. It enables modeling of vehicles, traffic infrastructure, pedestrians, and system transitions to automatically verify safety properties under all possible scenarios.
Contact
Feel free to reach out via email or visit my GitHub.