services:
  rsa-secure-dev:
    image: anssi/fcsc2023-hardware-rsa-secure-dev:latest
    ports:
      - "4000:4000"
