Fraunhofer AISEC

All

88 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
•69•304•115•21•Updated Mar 10, 2025Mar 10, 2025
heir
Public
A compiler for homomorphic encryption
C++
•
Apache License 2.0
•68•0•0•2•Updated Mar 9, 2025Mar 9, 2025
tpm-pcr-tools
Public
C
•2•0•1•0•Updated Mar 6, 2025Mar 6, 2025
gallia
Public
Extendable Pentesting Framework
python pentesting automotive uds xcp
Python
•
Apache License 2.0
•28•134•41•22•Updated Mar 6, 2025Mar 6, 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•16•2•1•Updated Mar 2, 2025Mar 2, 2025
DataSpaceConnector
Public
DataspaceConnector project
Java
•
Apache License 2.0
•252•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
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•10•2•4•Updated Jan 28, 2025Jan 28, 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•88•0•0•Updated Jan 22, 2025Jan 22, 2025
go-attestation
Public
Go
•
Apache License 2.0
•89•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
MSET
Public
0•3•1•0•Updated Nov 16, 2024Nov 16, 2024
otbn-pq
Public
SystemVerilog
•
Apache License 2.0
•1•4•0•0•Updated Nov 1, 2024Nov 1, 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•3•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
0•3•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
•43•48•4•2•Updated Aug 31, 2024Aug 31, 2024
lucon-plugin
Public
Xtend
•2•0•0•0•Updated Jul 24, 2024Jul 24, 2024
ot-security-testbed
Public
Python
•
Apache License 2.0
•2•2•0•0•Updated Jun 14, 2024Jun 14, 2024
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
•23•82•2•1•Updated May 22, 2024May 22, 2024
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
•14•22•7•2•Updated May 11, 2024May 11, 2024
ids-clearing-house-service
Public
This is an implementation of the IDS Clearing House
java docker rust
Rust
•
Apache License 2.0
•13•1•3•0•Updated May 8, 2024May 8, 2024
pqdb
Public
A comprehensive list of post-quantum crypto schemes and their properties
post-quantum-cryptography
JavaScript
•
Apache License 2.0
•2•12•12•0•Updated May 3, 2024May 3, 2024