jasmin icon indicating copy to clipboard operation
jasmin copied to clipboard

Published 20 hours ago • verified publisher icon jasmin-lang

CT checker: accept S-CT annotations

Open vbgl opened this issue 10 months ago • 0 comments

Security annotations for the speculative-ct checker are translated (weakened) when handled by the (non-speculative) CT checker.

vbgl avatar Mar 29 '24 14:03 vbgl