Page 171 - tech fest 2025 ב״ש חוברת תקצירים

Interactive Learning for Automata Theory and Formal Languages
SE-B-11
Maram Alasad; maramalasad9@gmail.com Tasneem Abulail; abulieltasneem23@gmail.com
Advisor: Dr. Yochai Twitto
SCE - Shamoon College of Engineering, Be'er-Sheva
The complexity of automata theory and formal languages often renders these subjects abstract and challenging for learners. Our project develops a platform that enhances understanding through interactive and visual tools, simplifying intricate concepts like deterministic finite automata (DFA) and nondeterministic finite automata (NFA). This tool is divided into three educational sections: grammar, automations, and languages. Each section is designed to facilitate both theoretical engagement and practical application, providing an invaluable resource for students, educators, and self-learners alike. By integrating dynamic visualizations with hands-on exercises, our platform aims to make these fundamental computer science topics more accessible and engaging, ultimately improving educational outcomes.
Keywords: automata theory, educational tool, formal languages, interactive learning, visualization
SafetyHome - Smart Device Security Hub
SE-B-12
Gil Avraham; gil12av@gmail.com Aviad Turjeman; aviadq@gmail.com
Advisor: Dr. Karim Abu-Affash
SCE - Shamoon College of Engineering, Be’er-Sheva
Smart-home technologies improve quality of life but expose users to cyber threats due to a lack of awareness and technical knowledge. SafetyHome is a mobile application that connects to the home network, scans all connected devices, identifies those belonging to the smart-home environment, and detects security vulnerabilities through integration with the official Common Vulnerabilities and Exposures (CVE) database, which is continuously updated to reflect the latest threats. The system uses Nmap scanning to map the network, classifies devices by type and risk level, and presents alerts with actionable recommendations–including changing passwords, updating firmware, or strengthening security settings. The solution has the potential to provide simple, accessible, and effective protection for smart-home users without requiring technical skills or additional hardware.
Keywords: CVE, firmware, IoT devices, network scanning, security vulnerabilities, smart home
Book of Abstracts | 2025
171