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:
- CANAPE Network Testing Tool☆184Updated 8 years ago
- MSR Project Freta☆77Updated last year
- A binary analysis framework☆133Updated 5 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Updated 8 years ago
- ☆17Updated 6 years ago
- Reverse Engineering tools, scripts, and general commentary☆59Updated 6 years ago
- The BAP tutorial☆73Updated 3 years ago
- pCraft is a PCAP Crafter, which creates a PCAP from an AMI scenario.☆92Updated last year
- A malware analysis and classification tool.☆190Updated 4 years ago
- A collection of ready to use binary analysis tools☆61Updated last year
- Fuzzing framework written in OCaml☆33Updated 9 years ago
- This repo holds materials for our Splash 2017 class on Z3.☆26Updated 8 years ago
- The Binary Analysis Metadata tool gathers information about Windows binaries to aid in their analysis. #nsacyber☆163Updated last year
- BAP Plugins Repository☆58Updated 5 years ago
- A network proxy library written in C# for .NET Core based on CANAPE☆188Updated 2 years ago
- Automatic analysis of SWF files based on some heuristics. Extensible via plugins.☆119Updated 6 years ago
- Lazy Office Analyzer☆121Updated 8 years ago
- A workshop on Packet Crafting using Scapy.☆157Updated 5 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 8 years ago
- ☆28Updated 11 years ago
- Minimal Indicator Storage System☆11Updated 4 years ago
- Tools to generate a Linux distribution booting from a USB key to test hardware requirements☆50Updated 9 months ago
- Proof of Concept's provided by Source Incite☆37Updated 8 years ago
- A self-contained firewall checker☆108Updated 4 years ago
- A collection of scripts based on libclang for extracting API information from interpreters☆25Updated 13 years ago
- Toolset to analyse TLS datasets☆12Updated 6 years ago
- VerSprite Security Research☆171Updated 3 years ago
- A pedagogically-curated collection of vulnerability demonstrations for undergraduate software engineering students.☆70Updated 3 weeks ago
- Just a normal flask web app to understand win32api with code snippets and references.☆75Updated 6 years ago
- a pstree mod that prints other helpful information and with added functionality☆25Updated 5 years ago