SecPriv / webspecLinks
Towards Machine-Checked Analysis of Browser Security Mechanisms
☆11Updated last year
Alternatives and similar repositories for webspec
Users that are interested in webspec are comparing it to the libraries listed below
Sorting:
- Toolset to analyse TLS datasets☆12Updated 6 years ago
- MSR Project Freta☆77Updated last year
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- A MAL language that demonstrates the Maven project structure☆23Updated this week
- A binary analysis framework☆133Updated 4 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Updated 8 years ago
- The BAP tutorial☆73Updated 2 years ago
- ☆36Updated 4 years ago
- A pedagogically-curated collection of vulnerability demonstrations for undergraduate software engineering students.☆69Updated 2 years ago
- Static Token And Credential Scanner☆95Updated 2 years ago
- TLS CBC Padding Oracle Checker☆52Updated 3 years ago
- Whalescan is a vulnerability scanner for Windows containers, which performs several benchmark checks, as well as checking for CVEs/vulner…☆156Updated 2 years ago
- Python wrapper for the API of cve-search☆127Updated 2 years ago
- Fuzzing framework written in OCaml☆33Updated 9 years ago
- Experimental CPSA -- the Cryptographic Protocol Shapes Analyzer experimental version☆19Updated 2 months ago
- A collection of ready to use binary analysis tools☆61Updated last year
- a RTE-free X.509 parser☆63Updated 3 years ago
- FLUFFI (Fully Localized Utility For Fuzzing Instantaneously) - A distributed evolutionary binary fuzzer for pentesters☆101Updated 3 years ago
- Parsifal : an OCaml-based parsing engine☆64Updated 4 years ago
- Research project on heterogeneous IoT protocols modelling☆54Updated 3 years ago
- A self-contained firewall checker☆108Updated 4 years ago
- VulDB Python scripts to fetch data via API☆20Updated 5 years ago
- Minimal Indicator Storage System☆11Updated 4 years ago
- The Binary Analysis Metadata tool gathers information about Windows binaries to aid in their analysis. #nsacyber☆162Updated last year
- ☆50Updated 4 months ago
- Recent Fuzzing Paper☆36Updated 2 years ago
- pCraft is a PCAP Crafter, which creates a PCAP from an AMI scenario.☆91Updated last year
- Python API for vFeed Vulnerability & Threat Intelligence Database Enterprise & Pro Editions☆102Updated 2 months ago
- A tool for generating worst-case inputs to commonly used algorithms☆121Updated 2 years ago
- Qubes containerization on Windows☆130Updated 4 years ago