SRI-CSL / ENCODERS
ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that provides network services and transport architectures required for efficient, transparent distribution of content in mobile ad hoc networks.
☆13Updated last year
Alternatives and similar repositories for ENCODERS:
Users that are interested in ENCODERS are comparing it to the libraries listed below
- A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform fro…☆16Updated 6 years ago
- With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hook…☆21Updated 2 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆25Updated 5 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- Intel® Software Guard Extensions (Intel® SGX) Samples☆10Updated 8 years ago
- Apache milagro (Incubating)☆36Updated 11 months ago
- This sample code demonstrates a password manager utilizing Intel SGX.☆34Updated 8 years ago
- Lattice-Based Post-Quantum Authenticated Key Exchange☆18Updated 7 years ago
- ☆15Updated this week
- PostgreSQL connection pooling for httpd☆10Updated 4 years ago
- Network Security Services for Java is a Java interface to NSS☆20Updated this week
- Utility that allows generating and manipulating Tink keysets☆16Updated 3 months ago
- Go wrapper for kroeckx/x509lint☆14Updated 3 years ago
- Display the contents of ASN.1 encoded data☆24Updated 10 years ago
- Apache Maven Changes Plugin☆12Updated this week
- turn openssh into a library [OBSOLETE, almost everything has been merged into upstream]☆34Updated 8 years ago
- OSS-Fuzz - continuous fuzzing of open source software☆11Updated 8 years ago
- Go wrapper for awslabs/certlint☆25Updated 4 years ago
- Ximix is a network application offering threshold key generation, signatures, decryption, and a RPC style MixNet☆17Updated 7 years ago
- BLISS: Bimodal Lattice Signature Schemes☆25Updated 4 years ago
- SDK for Keystone Enclave - ABI/SBI libraries and sample apps☆44Updated 2 years ago
- Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).☆16Updated this week
- Parsec documentation☆12Updated 8 months ago
- ☆16Updated last year
- Mirror of git.qemu.org/ipxe.git☆15Updated this week
- NIST Lightweight Cryptography Primitives☆55Updated 2 years ago
- Run x509lint from a PostgreSQL function☆11Updated 4 years ago
- Fuzz targets for OSS-Fuzz☆23Updated 6 years ago
- Intel(R) Software Guard Extensions Protected Code Loader for Linux* OS☆26Updated 2 years ago
- Patch files to allow post-quantum OQS key exchange libraries to be used with OpenSSH☆15Updated 2 years ago