cmu-sei / AASPELinks
A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.
☆16Updated 6 years ago
Alternatives and similar repositories for AASPE
Users that are interested in AASPE are comparing it to the libraries listed below
Sorting:
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆37Updated 10 years ago
- ☆13Updated 7 years ago
- Parser of X.509 certificates☆44Updated 9 years ago
- NXP Security Controller (SCCv2) - Linux driver☆19Updated 5 months ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Updated 9 years ago
- vTunnel is a tool that proxies IP traffic between guest and host networks by using the VSOCK protocol.☆19Updated last year
- A(nother) Binary Analysis Framework☆30Updated 11 years ago
- SEI GitHub landing page.☆13Updated 7 months ago
- Static Program Analysis for Reliable Trusted Apps☆23Updated 6 years ago
- Systematic Protocol Analysis Project☆11Updated 8 years ago
- Web based code browser using clang to provide basic code analysis.☆44Updated 7 years ago
- I publish here my patch sets for Linux☆31Updated 6 years ago
- ☆24Updated 10 years ago
- Base OpenXT build scripts☆50Updated 4 years ago
- Scapytain is a web application that enables you to store, organise and run test campaigns on top of Scapy.☆19Updated 7 years ago
- ☆10Updated 9 years ago
- This tool for crack hash password BLAKE-224 BLAKE-256 BLAKE-512 BLAKE-384 with bruteforce method☆18Updated 7 years ago
- A tool which allows an attacker to change the time on a GPS-enabled NTP server by using spoofed NEMA sentences☆25Updated 8 years ago
- A USB armory based USB sandbox☆21Updated 8 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26Updated 4 years ago
- Raw socket utilities for 802.11p transmission☆9Updated 10 years ago
- Ruby API client for the Censys internet-wide network-scan search engine☆10Updated 10 months ago
- A strcmp timing attack example☆9Updated 10 years ago
- Heap analysis tooling for mempool☆13Updated 3 years ago
- Firmware analysis gone wild.☆42Updated 10 years ago
- CVE-Search Management Tools - Tools that might be useful for management purposes☆21Updated 9 years ago
- Python library for image hashing and deduplication☆11Updated 9 years ago
- OUSPG Open - Summer of Buzz with Fresh Blood, Alumni and Affiliates☆20Updated 8 years ago
- Security and Privacy Assurance Research Test and Assessment (SPARTA) tool suite☆37Updated 8 years ago
- Network white noise collector☆19Updated 9 years ago