Metadata
| Year | 2017 |
|---|---|
| Target | C |
| Technique | Formal |
| Guarantees | sound |
| Available | yes |
| Repository | https://gitlab.telecom-paris.fr/sen/stanalysis |
| Paper1 | Formal methods for the analysis of cache-timing leaks and key generation in cryptographic implementations |
Introduced in the PhD thesis of Alexander Schaub: Formal methods for the analysis of cache-timing leaks and key generation in cryptographic implementations.