LeapFrog presented at EuroS&P 2025.