EMBSEC Lab Development Kit¶

Welcome to the Embedded Security (EMBSEC) Lab Development Kit - an educational framework for teaching embedded systems security through hands-on vulnerability research and exploitation.

Overview¶

The EMBSEC Kit provides a comprehensive platform for learning embedded security concepts through practical labs targeting ARM Cortex-M microcontrollers. It supports both hardware (TM4C123GH6PM) and emulation (QEMU LM3S6965) environments.

Key Features¶

Multi-platform Support: Run labs on real hardware or QEMU emulation
Comprehensive SDK: Full-featured SDK with UART, GPIO, Timer, and Crypto modules
Security-focused Labs: Learn through buffer overflows, format strings, and more
CTF-style Challenges: Capture flags to prove successful exploitation
Modern Build System: CMake-based build with Docker support
Automated Testing: Python-based test framework with QEMU integration

For Students¶

Getting Started - Set up your environment and run your first lab
Labs - Explore available security challenges
SDK Reference - Learn about available SDK functions

For Instructors¶

Instructor Guide - Create and manage labs
Lab Design - Best practices for educational labs
Writing Tests - Automated testing for labs

For Developers¶

Development - Build and debug the framework
Architecture - Understand the system design
Contributing - Contribute to the project

Getting Help¶

Documentation: You're reading it!
Source Code: GitLab Repository
Issues: Issue Tracker

License¶

The EMBSEC Kit is open source software licensed under the MIT License.