BMBF project "ATLAS"

This page collects links to materials created by Cryspen as part of the BMBF research project "ATLAS".

• Cryspen blog post on ScrambleDB, one component of the ATLAS system
• ScrambleDB interactive demo
• Documentation for hacspec specifications of ATLAS components
  • ScrambleDB
• Source code repository for software artefacts