Towards Formal Linear Cryptanalysis using HOL4

Osman Hasan, S. K. (2014). Towards Formal Linear Cryptanalysis using HOL4.

Type

Unclassified

Intellectual base

Unclassified

Year

2014

DOI

10.3217/jucs-020-02-0193

Link

https://doi.org/10.3217/jucs-020-02-0193

Cited by

1 citation across 1 artifact.

Domain-specific

• One-sided limit
  • … one-sided punctured neighborhoods, epsilon-delta or sequence criterion, existence and uniqueness, relation between two one-sided and two-sided limits, discontinuity and endpoint cases are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:6feb0df619fd · see in the full table