Skip to content

Security

brycx edited this page Nov 26, 2018 · 19 revisions

This section has security-relevant information regarding orion.

Memory:

orion has a best-effort approach to wiping sensitive memory. There are known obstacles for ensuring effective memory wiping using Rust (from zeroize):

However, be aware that Rust's current memory semantics (e.g. move) can leave copies of data in memory, and there isn't presently a good solution for ensuring all copies of data on the stack are properly cleared.

Furthermore, orion partly uses destructors to wipe memory. According to the Rustonomicon, there are no guarantees that destructors are actually called, as safe Rust considers failing to call destructors safe, "However any program that actually manages to do such a thing is probably incorrect." (from Rustonomicon).

Due to such limitations, orion offers no guarantees that all sensitive memory is wiped.

orion also makes no attempts to avoid sensitive memory being written to the system swap space.

Side-channel attacks:

orion only aims to protect against timing-based side-channel vulnerabilities.

No unsafe code:

orion itself forbids the use of so-called “unsafe” code, meaning that all memory-safety guarantees provided by Rust are enforced at compile-time. However, even though orion itself does not allow unsafe code, it is used in some of its dependencies.

These are metrics that give an overview of which dependencies use unsafe code and how much:

Metric output format: x/y
x = unsafe code used by the build
y = total unsafe code found in the crate

Functions  Expressions  Impls  Traits  Methods  Dependency

0/0        0/0          0/0    0/0     0/0        orion v0.10.0 (***omitted***)
0/1        214/224      0/0    0/0     0/0      ☢ ├── byteorder v1.2.7
0/0        12/12        14/14  1/1     3/3      ☢ ├── clear_on_drop v0.2.3
                                                  │   [build-dependencies]
0/0        4/162        0/2    0/0     0/4      ☢ │   └── cc v1.0.25
0/0        69/69        0/0    0/0     0/0      ☢ ├── rand v0.6.1
0/0        0/0          0/0    0/0     0/0        │   ├── libc v0.2.44
0/0        0/0          0/0    0/0     0/0        │   ├── rand_chacha v0.1.0
0/0        47/47        0/0    0/0     0/0      ☢ │   │   └── rand_core v0.3.0
                                                  │   │   [build-dependencies]
0/0        0/0          0/0    0/0     0/0        │   │   └── rustc_version v0.2.3
0/0        0/0          0/0    0/0     0/0        │   │       └── semver v0.9.0
0/0        0/0          0/0    0/0     0/0        │   │           └── semver-parser v0.7.0
0/0        47/47        0/0    0/0     0/0      ☢ │   ├── rand_core v0.3.0
0/0        58/58        0/0    0/0     0/0      ☢ │   ├── rand_hc v0.1.0
0/0        47/47        0/0    0/0     0/0      ☢ │   │   └── rand_core v0.3.0
0/0        12/12        0/0    0/0     0/0      ☢ │   ├── rand_isaac v0.1.0
0/0        47/47        0/0    0/0     0/0      ☢ │   │   └── rand_core v0.3.0
0/0        12/12        0/0    0/0     0/0      ☢ │   ├── rand_pcg v0.1.1
0/0        47/47        0/0    0/0     0/0      ☢ │   │   └── rand_core v0.3.0
                                                  │   │   [build-dependencies]
0/0        0/0          0/0    0/0     0/0        │   │   └── rustc_version v0.2.3
0/0        6/6          0/0    0/0     0/0      ☢ │   └── rand_xorshift v0.1.0
0/0        47/47        0/0    0/0     0/0      ☢ │       └── rand_core v0.3.0
                                                  │   [build-dependencies]
0/0        0/0          0/0    0/0     0/0        │   └── rustc_version v0.2.3
0/0        10/10        0/0    0/0     0/0      ☢ ├── sha2 v0.8.0
1/1        2/2          0/0    0/0     0/0      ☢ │   ├── block-buffer v0.7.0
0/0        0/0          0/0    0/0     0/0        │   │   ├── block-padding v0.1.2
0/0        10/10        0/0    0/0     0/0      ☢ │   │   │   └── byte-tools v0.3.0
0/0        10/10        0/0    0/0     0/0      ☢ │   │   ├── byte-tools v0.3.0
0/1        214/224      0/0    0/0     0/0      ☢ │   │   ├── byteorder v1.2.7
1/1        198/198      18/18  8/8     5/5      ☢ │   │   └── generic-array v0.12.0
0/0        51/51        0/0    0/0     0/0      ☢ │   │       └── typenum v1.10.0
0/0        0/0          0/0    0/0     0/0        │   ├── digest v0.8.0
1/1        198/198      18/18  8/8     5/5      ☢ │   │   └── generic-array v0.12.0
0/0        0/0          0/0    0/0     0/0        │   ├── fake-simd v0.1.2
0/0        0/0          0/0    0/0     0/0        │   └── opaque-debug v0.2.1
                                                  │   [dev-dependencies]
0/0        0/0          0/0    0/0     0/0        │   └── digest v0.8.0
0/0        1/1          0/0    0/0     0/0      ☢ ├── subtle v1.0.0
0/0        13/13        0/0    0/0     0/0      ☢ └── tiny-keccak v1.4.2
0/0        0/0          0/0    0/0     0/0            └── crunchy v0.1.6
                                                  [dev-dependencies]
0/0        0/0          0/0    0/0     0/0        ├── hex v0.3.2
0/2        0/374        0/12   0/4     0/0        └── ring v0.13.5
0/1        0/6          0/1    0/0     0/0            ├── lazy_static v1.2.0
0/0        0/0          0/0    0/0     0/0            ├── libc v0.2.44
0/0        0/0          0/0    0/0     0/0            └── untrusted v0.6.2
                                                      [build-dependencies]
0/0        4/162        0/2    0/0     0/4      ☢     └── cc v1.0.25

These metrics were made using cargo-geiger.

Third-party security audit:

orion has not yet received any formal security audit.

Clone this wiki locally