|
|
Dafny |
214 |
The MSR Ironclad project builds provably secure and reliable systems. |
Aug 02, 2022 |
|
|
WebAssembly |
13 |
Constant-time WebAssembly |
Jul 13, 2022 |
|
|
C |
2 |
Constant-Time Toolkit |
May 08, 2022 |
|
|
None |
24 |
Constant-Time WebAssembly |
May 12, 2023 |
|
|
WebAssembly |
5 |
Constant-Time WebAssembly |
Apr 20, 2020 |
|
|
JavaScript |
14 |
Constant-time Buffer Equality |
Feb 12, 2022 |
|
|
HTML |
28 |
Constant-time B-Spline |
Jan 28, 2022 |
|
|
Go |
81 |
Constant time big numbers for Go |
Jul 07, 2022 |
|
|
F* |
178 |
Automated generation of provably secure, zero-copy parsers from format specifications |
Aug 20, 2022 |
|
|
C |
64 |
Simple constant-time AES implementation |
Aug 11, 2022 |
|
|
C |
6 |
Spatial redundant and constant time implementation of AES that is secure against fault attacks using … |
May 09, 2021 |
|
|
HTML |
3 |
Secure Policy Based Configuration Framework (PBCONF) |
Dec 31, 2022 |
|
|
Haskell |
3 |
ContT versions of the speculation combinators |
Dec 05, 2019 |
|
|
Rust |
15 |
An implementation of the DudeCT constant-time function tester |
Mar 27, 2023 |
|
|
C |
117 |
dude, is my code constant time? |
Jul 04, 2022 |
|
|
None |
2 |
Constant time nearest neighbors querying. Hopefully. |
Dec 07, 2017 |
|
|
OCaml |
191 |
Flexible and Constant Time Programming Language |
May 25, 2023 |
|
|
Elixir |
2 |
Polymorphic constant time comparisons in Elixir |
Feb 28, 2023 |
|
|
Python |
667 |
Code Repository for Liquid Time-Constant Networks (LTCs) |
May 06, 2023 |
|
|
None |
9 |
The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity … |
Dec 05, 2022 |
|
|
PHP |
678 |
Constant-Time Character Encoding in PHP Projects |
Apr 30, 2023 |
|
|
Rust |
47 |
Constant-time dynamic memory allocator in Rust |
Apr 30, 2023 |
|
|
Rust |
40 |
Verifying constant-time code with symbolic execution |
Jul 24, 2022 |
|
|
Zig |
3 |
Constant-time, allocations-free finite field arithmetic for Zig. |
May 20, 2023 |
|
|
Go |
14 |
Scalable policy store with real-time policy updates using Open Policy Agent. |
Jul 14, 2022 |
|
|
Tcl |
3 |
The SpecTAD code is a parallel (time-wise speculation, time-wise replication, and spatial) implementation of the … |
Mar 19, 2020 |
|
|
Go |
655 |
Deploy-time Policy Enforcer for Kubernetes applications |
Apr 23, 2023 |
|
|
Rust |
4 |
Pure-Rust traits and utilities for constant-time cryptographic implementations. |
Jun 30, 2022 |
|
|
Rust |
189 |
Pure-Rust traits and utilities for constant-time cryptographic implementations. |
Aug 14, 2022 |
|
|
None |
11 |
NFL draft prospect data for text analysis |
May 04, 2023 |
|
|
C++ |
14 |
Constant time hex and base64 encode and decode |
Aug 11, 2022 |
|
|
JavaScript |
49 |
Constant-time comparison algorithm to prevent timing attacks |
Jul 23, 2022 |
|
|
Rust |
2 |
Fixed size data structure with constant-time operations. |
Jan 15, 2023 |
|
|
C |
2 |
Constant-time integer transform to 2D Hilbert curve |
Nov 22, 2022 |
|
|
Go |
6 |
Mirror of my constant time Go AES implementation. |
Jan 19, 2022 |
|
|
C |
2 |
Constant time ECC under MPL 2.0. Thanks Mozilla! |
Jul 11, 2019 |
|
|
Julia |
4 |
Code for the paper "Faster Policy Learning with Continuous-Time Gradients" |
Jul 29, 2022 |
|
|
JavaScript |
8 |
[DEPRECATED] Check if two buffers have the same bytes in constant time |
Jan 23, 2021 |
|
|
C++ |
184 |
A C++, compile-time, reactive RTOS for the Stack Resource Policy based Real-Time For the Masses … |
Apr 28, 2023 |
|
|
Shell |
3 |
Bayesian inversion of the PROSPECT leaf optical properties model. |
May 08, 2020 |
|
|
Rust |
19 |
Wrappers around Rust's integer to check for constant-time-compatible usage |
Apr 11, 2023 |
|
|
JavaScript |
4 |
A secure, real-time distributed file system for the dWeb. |
Feb 12, 2023 |
|
|
Rust |
10 |
A Rust implementation of a constant time LFU cache |
Jul 31, 2022 |
|
|
TypeScript |
25 |
Glob search in constant time thanks to git cache |
Nov 22, 2021 |
|
|
Python |
2 |
TensorFlow implementation of Liquid Time-Constant Neural Network layers |
May 13, 2023 |
|
|
Jupyter Notebook |
3 |
This repository is the official implementation of Using Time-Series Privileged Information for Provably Efficient Learning … |
Feb 26, 2023 |
|
|
Go |
71 |
Policy CLI for the Open Policy Registry (opcr.io) |
Jun 20, 2022 |
|
|
C++ |
93 |
obfuscated any constant encryption in compile time on any platform |
Aug 09, 2022 |
|
|
Go |
19 |
SM cipher library. Constant-time implementation of SM2 and SM4. |
Oct 19, 2022 |
|
|
Python |
56 |
Bottom-up whole-body pose estimation method in constant time. |
Apr 22, 2023 |