Fraunhofer AISEC

All

90 repositories

cpg
Public
A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
ruby python c java golang cpp graph analysis code llvm-ir
Kotlin
•
Apache License 2.0
•74•322•116•25•Updated May 2, 2025May 2, 2025
cmc
Public
The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.
golang international-data-spaces
C
•
Apache License 2.0
•8•17•2•1•Updated May 2, 2025May 2, 2025
gallia
Public
Extendable Pentesting Framework
python pentesting automotive uds xcp
Python
•
Apache License 2.0
•29•139•41•22•Updated May 1, 2025May 1, 2025
heir
Public
A compiler for homomorphic encryption
C++
•
Apache License 2.0
•77•0•0•3•Updated Apr 30, 2025Apr 30, 2025
tpm-pcr-tools
Public
C
•2•0•1•0•Updated Apr 29, 2025Apr 29, 2025
archie
Public
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.
flash ram qemu
C
•
Apache License 2.0
•15•24•7•2•Updated Apr 25, 2025Apr 25, 2025
archie-qemu
Public
C
•
Other
•2•1•0•0•Updated Apr 24, 2025Apr 24, 2025
hbs-lms-rust
Public
Pure Rust implementation of the Leighton Micali Signature scheme.
signature lms post-quantum hash-based-signatures rust cryptography
Rust
•
Apache License 2.0
•9•11•2•4•Updated Apr 18, 2025Apr 18, 2025
MSET
Public
C
•
Apache License 2.0
•1•4•0•0•Updated Apr 16, 2025Apr 16, 2025
CARLA-A3
Public archive
A toolkit for the simulation of adversarial attacks on object detectors using CARLA.
simulation object-detection adversarial-attacks carla-simulator
Python
•0•0•0•0•Updated Apr 16, 2025Apr 16, 2025
sdk-go
Public
Shell
•
Apache License 2.0
•3•0•0•0•Updated Apr 1, 2025Apr 1, 2025
otbn-pq
Public
SystemVerilog
•
Apache License 2.0
•2•4•0•0•Updated Mar 25, 2025Mar 25, 2025
rabe
Public
rabe is an Attribute Based Encryption library, written in Rust
cryptography rust-library order-preserving-encryption somewhat-homomorphic attribute-based-encryption pairing-based rust abe
Rust
•
MIT License
•24•83•1•0•Updated Mar 10, 2025Mar 10, 2025
DataSpaceConnector
Public
DataspaceConnector project
Java
•
Apache License 2.0
•259•1•0•0•Updated Feb 25, 2025Feb 25, 2025
supply-graph
Public
Python
•
Apache License 2.0
•0•4•0•0•Updated Feb 1, 2025Feb 1, 2025
libbbs
Public
C implementation of the IRTF BBS Internet Draft
c bbs cryptography internet-draft irtf
C
•
Apache License 2.0
•1•6•4•0•Updated Jan 28, 2025Jan 28, 2025
libgoast
Public
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
Go
•0•1•0•0•Updated Jan 23, 2025Jan 23, 2025
codyze
Public archive
Codyze is a static analyzer for Java, C, C++ based on code property graphs
code-property-graph static-analysis analyzer
19•87•0•0•Updated Jan 22, 2025Jan 22, 2025
go-attestation
Public
Go
•
Apache License 2.0
•92•0•0•0•Updated Dec 27, 2024Dec 27, 2024
maxpowr
Public
C++
•
Other
•0•0•0•0•Updated Dec 13, 2024Dec 13, 2024
QUACK
Public archive
Code for the paper "QUACK: Quantum Aligned Centroid Kernel"
Python
•1•0•0•0•Updated Dec 3, 2024Dec 3, 2024
bt2x
Public archive
Rust
•
Apache License 2.0
•0•2•0•0•Updated Nov 26, 2024Nov 26, 2024
cpg-contract-checker
Public
Kotlin
•
Apache License 2.0
•0•2•9•0•Updated Oct 23, 2024Oct 23, 2024
hpcfi-llvm-project
Public archive
Part of https://github.com/Fraunhofer-AISEC/hpcfi
C++
•0•0•0•8•Updated Sep 27, 2024Sep 27, 2024
hpcfi
Public archive
High-Precision Control-Flow Integrity
Shell
•
Apache License 2.0
•0•4•0•0•Updated Sep 26, 2024Sep 26, 2024
hpcfi-svf
Public archive
Part of https://github.com/Fraunhofer-AISEC/hpcfi
C++
•
Other
•0•0•0•0•Updated Sep 26, 2024Sep 26, 2024
cpg-contract-checker-old
Public
0•0•0•0•Updated Sep 18, 2024Sep 18, 2024
softboundcets-llvm-project
Public
1•4•0•5•Updated Sep 3, 2024Sep 3, 2024
trusted-connector
Public
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.
iot spring spring-boot acme iot-platform research-project opc-ua iot-gateway idscp2 docker
Kotlin
•
Apache License 2.0
•44•48•4•2•Updated Aug 31, 2024Aug 31, 2024
lucon-plugin
Public
Xtend
•2•0•0•0•Updated Jul 24, 2024Jul 24, 2024