-
Notifications
You must be signed in to change notification settings - Fork 57
Branches
Vincent Laporte edited this page Feb 9, 2023
·
18 revisions
This is Jasmin, with all theorems proved
Generic functions, branched from glob_array3
Preservation of the Constant-Time security property
Branched from master on 2020-02-13, following release-21
Checking for speculative safety and speculative constant-time
Cost analysis of low-level Jasmin programs using precise models of the micro-architecture
Use dpdgraph to find dead code and unused lemmas.