Awesome Open Source

Programming Languages

Search results for security formal verification

formal-verification x

5 search results found

Hacl Star ⭐ 1,575

HACL*, a formally verified cryptographic library written in F*

A Fast and Safe Python based on PyPy

Aws Lc Verification ⭐ 16

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

Ace Riscv ⭐ 14

Assured Confidential Execution (ACE) for RISC-V

IotSan: Fortifying the Safety of IoT Systems (ACM CoNEXT'18)

Related Searches

Security Vulnerabilities (11,840)

Laravel Security (11,580)

Php Security (10,611)

Html Security (2,284)

Python Security (1,733)

Golang Security (1,316)

Shell Security (1,213)

Security Penetration Testing (920)

C Security (886)

Amazon Web Services Security (874)

1-5 of 5 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.