ScaRR is a system that provides scalable runtime remote attestation to verify dynamic properties of complex systems. It uses offline analysis to generate measurements of expected execution paths that are verified online. ScaRR models programs as graphs of execution checkpoints and actions to handle complex control flows. It provides efficient verification by checking consistency between reported execution paths and pre-computed expected paths stored in a hashmap. An evaluation shows ScaRR can verify programs faster and with lower network overhead than previous work, while providing security against various attacks.