Metadata
| Year | - |
|---|---|
| Target | C |
| Technique | Symbolic |
| Guarantees | sound with restrictions |
| Available | no |
| Website | http://web.archive.org/web/20200810074547/http://trust-in-soft.com/tis-ct/ |
Abstract
tis-ct verifies that a cryptographic implementation in C does not leak secrets through execution time. In form, tis-ct is an adaptation of an existing Frama-C plug-in for computing program dependencies.