Fraunhofer AISEC

Fraunhofer AISEC's repositories

cpg

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

Language:KotlinApache-2.0277 13 462

gallia

Extendable Pentesting Framework

Language:PythonApache-2.0127 10 111

codyze

Codyze is a static analyzer for Java, C, C++ based on code property graphs

Language:KotlinApache-2.086 12 93

rabe

rabe is an Attribute Based Encryption library, written in Rust

Language:RustMIT76 9 14

DATA

Differential Address Trace Analysis

Language:PythonGPL-3.052 12 4

IoT edge platform "Trusted Connector" of the International Data Spaces. Based on Spring Boot, includes Camel message routing, a Camel component for IDSCP2 (including remote attestation with other connectors) and a management web UI.

Language:KotlinApache-2.044 17 43

archie

ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and data faults in RAM, flash, and processor registers.

Language:CApache-2.018 9 18

libpabc

Language:CNOASSERTION13 6 1

pqdb

A comprehensive list of post-quantum crypto schemes and their properties

Language:JavaScriptApache-2.012 5 71

cmc

The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.

Language:CApache-2.010 4 6

hbs-lms-rust

Pure Rust implementation of the Leighton Micali Signature scheme.

Language:RustApache-2.08 6 27

frankencert

Continuation of the frankencert project with python-cryptography

Language:PythonNOASSERTION7 70

shortcut-detection-vae

Language:PythonApache-2.07 50

lazarus

Language:CApache-2.05 4 1

libbbs

C implementation of the IRTF BBS Internet Draft

Language:CApache-2.04 6 6

otbn-pq

Language:SystemVerilogApache-2.04 60

softboundcets

Language:DockerfileApache-2.03 50

quic-overview

Additional Material for the EPIC-ARES '23 Paper: A Quic(k) Security Overview: A Literature Research on Implemented Security Recommendations

2 50

softboundcets-llvm-project

2 50

ids-pcp

The IDS PKI and Certification Process (PCP) repository provides tools and software to enable technical representation for the results of certification in the International Data Spaces (IDS) as a basis for remote attestation of computing platforms.

Language:ShellApache-2.01 30

libgoast

This utility library has been extracted out of the CPG project and contains the go/ast package (and related utility packages) in a shared Go/C library

Language:Go1 50