0

Galen: Secure Pet Health Ecosystem

End-to-end IoT pet feeding system with encrypted telemetry, real-time health monitoring, and secure OTA firmware updates.

Overview

Galen is a secure-by-design IoT pet feeding ecosystem featuring encrypted device-to-cloud communication, real-time health monitoring, and secure OTA firmware updates.

The system architecture prioritizes security at every layer—from cryptographically authenticated device pairing to TLS-secured telemetry pipelines.

Security Architecture

Cryptographic Device Pairing

Each feeder device undergoes a secure pairing process using asymmetric cryptography. Device identity is established through hardware-rooted keys, preventing unauthorized device registration.

Encrypted Telemetry

All sensor data (weight, feeding events, environmental conditions) is transmitted over TLS-secured MQTT channels. The protocol design assumes network-level adversaries and implements end-to-end encryption.

Secure OTA Updates

Firmware updates are cryptographically signed and verified before installation. The update mechanism includes rollback protection and tamper-evident logging.

Technical Stack

  • MCU: ESP32 with secure boot enabled
  • Firmware: Rust (embedded) for memory safety
  • Protocol: MQTT over TLS 1.3
  • Mobile: React Native with biometric authentication

Health Monitoring Features

  • Real-time feeding schedule management
  • Weight tracking with anomaly detection
  • Environmental sensor data (temperature, humidity)
  • Configurable alerts for missed feedings

Development Status

Currently in active development. Core security architecture is complete; mobile app and cloud backend are in integration testing.