Scientific Software
Updated 9 months ago

CoPro — Peer-reviewed • Rank 6.6 • Science 98%

CoPro: a data-driven modelling framework for conflict risk projections - Published in JOSS (2021)

Artificial Intelligence and Machine Learning Medicine (40%)
Scientific Software · Peer-reviewed
Scientific Software
Updated 9 months ago

QComms QKD Software Toolkit — Peer-reviewed • Rank 4.4 • Science 89%

QComms QKD Software Toolkit - Published in JOSS (2019)

Materials Science (40%)
Scientific Software · Peer-reviewed
Updated 9 months ago

in-toto • Rank 24.9 • Science 54%

in-toto is a framework to protect supply chain integrity.

Updated 9 months ago

pypuf • Rank 11.2 • Science 67%

Cryptanalysis of Physically Unclonable Functions

Updated 9 months ago

tai-e • Rank 10.4 • Science 67%

An easy-to-learn/use static analysis framework for Java

Updated 9 months ago

oauth2 • Rank 33.2 • Science 44%

🔐 oauth2 - A Ruby wrapper for the OAuth 2.0 Authorization Framework, including OpenID Connect (OIDC)

Updated 9 months ago

unipacker • Rank 14.4 • Science 59%

Automatic and platform-independent unpacker for Windows binaries based on emulation

Updated 9 months ago

pysecsan • Rank 19.3 • Science 54%

OSS-Fuzz - continuous fuzzing for open source software.

Updated 9 months ago

pycryptodome • Rank 35.2 • Science 36%

A self-contained cryptographic library for Python

Updated 9 months ago

mitmproxy • Rank 32.5 • Science 36%

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

Updated 9 months ago

opensk • Rank 22.4 • Science 44%

OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.

Updated 9 months ago

terrascan • Rank 29.1 • Science 36%

Detect compliance and security violations across Infrastructure as Code to mitigate risk before provisioning cloud native infrastructure.

Updated 9 months ago

oss-fuzz-gen • Rank 10.6 • Science 54%

LLM powered fuzzing via OSS-Fuzz.

Updated 9 months ago

wasefire • Rank 19.2 • Science 44%

Secure firmware framework focusing on developer experience

Updated 9 months ago

prowler • Rank 26.4 • Science 36%

Prowler is the Open Cloud Security platform for AWS, Azure, GCP, Kubernetes, M365 and more. It helps for continuous monitoring, security assessments & audits, incident response, compliance, hardening and forensics readiness. Includes CIS, NIST 800, NIST CSF, CISA, FedRAMP, PCI-DSS, GDPR, HIPAA, FFIEC, SOC2, ENS and more

Updated 9 months ago

pyramid-twitcher • Rank 10.8 • Science 49%

Security Proxy for Web Processing Services (WPS)

Updated 9 months ago

pikachupytools • Rank 12.3 • Science 44%

Pytools: Some useful tools written by pure python.

Updated 9 months ago

pkce • Rank 12.2 • Science 44%

An OAuth Proof Key for Code Exchange (PKCE) challenge and code verifier.

Updated 9 months ago

harden-windows-security • Rank 10.5 • Science 44%

Harden Windows Safely, Securely using Official Supported Microsoft methods and proper explanation | Always up-to-date and works with the latest build of Windows | Provides tools and Guides for Personal, Enterprise, Government and Military security levels

Updated 9 months ago

https://github.com/cleverhans-lab/cleverhans • Rank 21.2 • Science 33%

An adversarial example library for constructing attacks, building defenses, and benchmarking both

Updated 9 months ago

paranoid_crypto • Rank 8.9 • Science 44%

Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.

Updated 9 months ago

aflplusplus • Rank 14.5 • Science 36%

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Updated 9 months ago

https://github.com/awslabs/aws-well-architected-labs • Rank 13.0 • Science 36%

Hands on labs and code to help you learn, measure, and build using architectural best practices.

Updated 9 months ago

average-calculator • Rank 4.0 • Science 44%

📊 Creation of a Grade Average calculator to find out if the final grade was sufficient or not for approval.

Updated 9 months ago

fastid • Rank 3.8 • Science 44%

FastID authentication platform, high security, lightning fast, easy-to-use, customizable

Updated 9 months ago

top-trumps • Rank 3.3 • Science 44%

🃏 Creation of the Top Trumps game where the theme and cards were inspired by great names responsible for the technology revolution and I dedicate it to Ada Lovelace to honor her contributions to humanity as one of the leading women in science and math.

Updated 9 months ago

mac-addresses-scanner • Rank 1.4 • Science 44%

🔦 Find MAC addresses of devices connected to a network

Updated 9 months ago

sixarm_shell_random_scripts • Rank 1.1 • Science 44%

SixArm.com → Shell → Random scripts to generate text

Updated 9 months ago

sixarm_ruby_secure_token • Rank 0.7 • Science 44%

SixArm.com » Ruby » SecureToken class to generate a strong text string

Updated 9 months ago

https://github.com/crowdstrike/falcon-helm • Rank 8.7 • Science 36%

Helm Charts for running CrowdStrike Falcon with Kubernetes

Updated 9 months ago

https://github.com/coinfabrik/scout-audit • Rank 17.5 • Science 26%

Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.

Updated 9 months ago

https://github.com/bytedance/elkeid • Rank 13.6 • Science 26%

Elkeid is an open source solution that can meet the security requirements of various workloads such as hosts, containers and K8s, and serverless. It is derived from ByteDance's internal best practices.

Updated 9 months ago

cwt • Rank 13.6 • Science 26%

A Python implementation of CWT/COSE.

Updated 9 months ago

tpotce • Rank 12.6 • Science 26%

🍯 T-Pot - The All In One Multi Honeypot Platform 🐝

Updated 9 months ago

scaaml • Rank 12.6 • Science 26%

SCAAML: Side Channel Attacks Assisted with Machine Learning

Updated 9 months ago

ska • Rank 11.5 • Science 26%

Sign data using symmetric-key algorithm encryption. Validate signed data and identify possible validation errors. Uses sha-(1, 224, 256, 385 and 512)/hmac for signature encryption. Custom hash algorithms are allowed. Useful shortcut functions for signing (and validating) dictionaries and URLs.

Updated 9 months ago

zxcvbn-python • Rank 22.7 • Science 13%

Python implementation of Dropbox's realistic password strength estimator

Updated 9 months ago

https://github.com/crowdstrike/ansible_collection_falcon • Rank 8.0 • Science 26%

Comprehensive toolkit for streamlining your interactions with the CrowdStrike Falcon platform.

Updated 9 months ago

https://github.com/crowdstrike/ivan • Rank 5.1 • Science 26%

Falcon Image Vulnerability Analysis (IVAN) is a command-line image assessment tool.

Updated 9 months ago

https://github.com/bytedance/android-inline-hook • Rank 9.7 • Science 13%

:fire: ShadowHook is an Android inline hook library which supports thumb, arm32 and arm64.

Updated 9 months ago

https://github.com/crytic/awesome-ethereum-security • Rank 8.6 • Science 13%

A curated list of awesome Ethereum security references

Updated 9 months ago

AdvBox • Rank 10.2 • Science 10%

Advbox is a toolbox to generate adversarial examples that fool neural networks in PaddlePaddle、PyTorch、Caffe2、MxNet、Keras、TensorFlow and Advbox can benchmark the robustness of machine learning models. Advbox give a command line tool to generate adversarial examples with Zero-Coding.

Updated 9 months ago

octopus • Rank 8.5 • Science 10%

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

Updated 9 months ago

https://github.com/byt3n33dl3/novaoutcast • Rank 2.4 • Science 13%

NOC is an Integration Bypasser, Change PoC Binary to quirks of working with the LLVM.

Updated 9 months ago

p4-forch_katharatopo • Science 67%

Exploiting Data Plane Programmability to Enhance Service Orchestration in the Edge: a focus on Industrial Security

Updated 9 months ago

houdini • Science 44%

Houdini is a container escape artist. Test your container security frameworks against known exploits.

Updated 9 months ago

doomarena • Science 36%

DoomArena is a Framework for Testing AI Agents Against Evolving Security Threats

Updated 9 months ago

system-hardware-id-generator • Science 67%

The System Hardware ID Generator Script is a Python tool designed to generate a unique Hardware ID (HWID) for the device it runs on. The HWID is represented as an 18-digit integer, making it efficient for storage in databases and indexing. This script can be used for software licensing, device authentication, and hardware inventory management.

Updated 9 months ago

multi-version-pyz-builder • Science 67%

The Multi-Version PYZ Builder Script is a command-line tool designed to create a Universal Python Module optimized for cross-platform and multi-version compatibility. It allows developers to bundle multiple protected .pyc files—each corresponding to a different Python version—into a single .pyz archive.

Updated 9 months ago

secure-python-code-manager • Science 67%

The Secure Python Code Manager is an innovative solution for developers looking to share Python code securely, protect their Python code, and implement Python code encryption techniques. By leveraging the Alpha Beta Network cloud platform, this tool addresses the challenges of secure code sharing and source code protection.

Updated 9 months ago

https://github.com/awslabs/automated-security-helper • Science 26%

ASH is an extensible, open source SAST, SCA, and IaC security scanner orchestration engine.

Updated 9 months ago

https://github.com/aliasrobotics/rctf • Science 10%

Scenarios of the Robotics CTF (RCTF), a playground to challenge robot security.

Updated 9 months ago

https://github.com/aliasrobotics/rvss • Science 10%

Robot Vulnerability Scoring System (RVSS) Python 3 reference implementation.

Updated 9 months ago

https://github.com/copyleftdev/zippys • Science 26%

A security tool for detecting, testing, and exploiting Zip Slip vulnerabilities. This tool is designed for security research and penetration testing purposes only.

Updated 9 months ago

ranflood • Science 39%

The Ranflood ransomware contrast tool

Updated 9 months ago

sixarm_ruby_password_hash • Science 44%

SixArm.com » Ruby » Password Hash to do secure SHA256 passwords.

Updated 9 months ago

tsffs • Science 44%

A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS

Updated 9 months ago

https://github.com/aliasrobotics/rsf • Science 10%

The Robot Security Framework (RSF), Robot Security Framework (RSF), a standardized methodology to perform security assessments in robotics.

Updated 9 months ago

sixarm_ruby_password_attribute • Science 44%

SixArm.com » Ruby » PasswordAttribute module to add BCrypt to an ActiveRecord model

Updated 9 months ago

awslabs/aws-lc-verification • Science 44%

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

Updated 9 months ago

https://github.com/amatofrancesco99/mdns-security • Science 13%

A project with the aim to simulate (and try to prevent/mitigate) a DoS attack on a target server, relying on the mDNS protocol.

Updated 9 months ago

https://github.com/awslabs/aws-greengrass-labs-certificate-rotator • Science 26%

Greengrass component and companion cloud backend for rotating the core device certificate and private key

Updated 9 months ago

https://github.com/awstoolbox/find-public-rds-snapshots • Science 13%

A tool for finding all public RDS snapshots, filterable using regex.

Updated 9 months ago

https://github.com/binsec/rel • Science 26%

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

Updated 9 months ago

https://github.com/chronospk/pentesting-cheatsheets • Science 26%

Comprehensive pentesting cheatsheets in Markdown and SVG diagrams

Updated 9 months ago

https://github.com/crocs-muni/javacard-curated-list • Science 26%

Curated list of open-source Java Card applets and related applications for cryptographic smartcards

Updated 9 months ago

windows-pe-packer • Science 26%

🗜️ A packer for Windows x86 executable files written in C and Intel x86 Assembly. The new file after packing can obstruct reverse engineering.(使用C和Intel x86汇编开发的Windows x86可执行文件打包工具,打包后的新文件可以阻碍逆向工程。)

Updated 9 months ago

disa-windows-server-2016 • Science 52%

This repository is part of the paper Automated Implementation of Windows-related Security-Configuration Guides presented at the 35th IEEE/ACM International Conference on Automated Software Engineering.

Updated 9 months ago

hayha • Science 44%

Verifying CloudFormation deployments for intra-update sniping vulnerabilities