Cryptographic Agility for Applications: An Assessment Framework and Principled API DesignNavaneeth RameshanGregoire Messmer2026Eurocrypt 2026Workshop paper