Scientific Software
Updated 11 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
Updated 11 months ago

in-toto • Rank 24.9 • Science 54%

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

Updated 11 months ago

pypuf • Rank 11.2 • Science 67%

Cryptanalysis of Physically Unclonable Functions

Updated 11 months ago

tai-e • Rank 10.4 • Science 67%

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

Updated 11 months ago

oauth2 • Rank 33.2 • Science 44%

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

Updated 11 months ago

pysecsan • Rank 19.3 • Science 54%

OSS-Fuzz - continuous fuzzing for open source software.

Updated 11 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 11 months ago

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

LLM powered fuzzing via OSS-Fuzz.

Updated 11 months ago

wasefire • Rank 19.2 • Science 44%

Secure firmware framework focusing on developer experience

Updated 11 months ago

pikachupytools • Rank 12.3 • Science 44%

Pytools: Some useful tools written by pure python.

Updated 11 months ago

pkce • Rank 12.2 • Science 44%

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

Updated 11 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 11 months ago

paranoid_crypto • Rank 8.9 • Science 44%

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

Updated 11 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 11 months ago

fastid • Rank 3.8 • Science 44%

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

Updated 11 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 11 months ago

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

🔦 Find MAC addresses of devices connected to a network

Updated 11 months ago

sixarm_shell_random_scripts • Rank 1.1 • Science 44%

SixArm.com → Shell → Random scripts to generate text

Updated 11 months ago

sixarm_ruby_secure_token • Rank 0.7 • Science 44%

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

Updated 11 months ago

terraform-aws-iam-account-password-policy • Science 44%

A terraform module for managing AWS IAM account password policies.

Updated 11 months ago

template-python-project • Science 44%

A baseline for creating python projects for security projects.

Updated 11 months ago

pk-sbc • Science 44%

P-KISS-SBC - simple and stupid SIP/RTP SBC - AGPL v3 - Based on kamailio / RTP Engine

Updated 11 months ago

moosic-yosys-plugin • Science 67%

Yosys plugin for logic locking and supply-chain security

Updated 11 months ago

securityeval • Science 57%

Repository for "SecurityEval Dataset: Mining Vulnerability Examples to Evaluate Machine Learning-Based Code Generation Techniques" published in MSR4P&S'22.

Updated 11 months ago

local-python-code-protector • Science 67%

The Local Python Code Protector Script is a command-line tool designed to provide source code protection and secure code sharing for Python scripts. It allows developers to obfuscate their Python code. This script supports both Python source files (.py) and compiled Python files (.pyc), offering flexible options for code obfuscation and encryption.

Updated 11 months ago

sixarm_ruby_password_attribute • Science 44%

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

Updated 11 months ago

sixarm_ruby_secure_random • Science 44%

SixArm.com » Ruby » secure random number generator interface for Ruby 1.8.6 backported from 1.8.7

Updated 11 months ago

jcalgtest • Science 31%

Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available methods. The results for more than 100+ cards.

Updated 11 months ago

hayha • Science 44%

Verifying CloudFormation deployments for intra-update sniping vulnerabilities

Updated 11 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 11 months ago

codaspy2022 • Science 65%

This repository is part of the paper "Hardening with Scapolite: a DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations" presented at the 12th ACM Conference on Data and Application Security and Privacy (CODASPY). http://www.codaspy.org/2022/

Updated 11 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 11 months ago

p4-forch_katharatopo • Science 67%

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

Updated 11 months ago

gallagher • Science 44%

The missing toolkit for extending Gallagher Command Centre, featuring a CLI, SQL interface, TUI and a Python idiomatic SDK

Updated 11 months ago

doomarena • Science 36%

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

Updated 11 months ago

sixarm_ruby_password_hash • Science 44%

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

Updated 11 months ago

vellmes-ai-deception-framework • Science 44%

Interactive, dynamic, and realistic LLM honeypots

Updated 11 months ago

security-datasets-for-testing • Science 44%

A set of security datasets for testing of tools and algorithms

Updated 11 months ago

sixarm_bash_shellshock • Science 44%

SixArm.com » Bash » Shellshock security testing and patching

Updated 11 months ago

sixarm_ruby_password_salt • Science 44%

SixArm.com » Ruby » Password salt to create secure user-friendly passwords

Updated 11 months ago

automated-identification-of-security-relevant-configuration-settings-using-nlp • Science 52%

This repository is part of the paper "Automated Identification of Security-Relevant Configuration Settings Using NLP" accepted at the Industry Showcase track at the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE). https://conf.researchr.org/track/ase-2022/ase-2022-industry-showcase.

Updated 11 months ago

secureuml-gui • Science 44%

A ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.

Updated 11 months ago

kms-vault • Science 44%

A script for managing secrets encrypted / decrypted via AWS KMS.

Updated 11 months ago

houdini • Science 44%

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

Updated 11 months ago

lookahead • Science 57%

An ML-based framework for DeFi attack detection (based on adversarial contracts)

Updated 11 months ago

proteus • Science 44%

The SpinalHDL design of the Proteus core, an extensible RISC-V core.

Updated 11 months ago

spynetgirl.github.io • Science 44%

My Windows Security Blog

Updated 11 months ago

tsffs • Science 44%

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

Updated 11 months ago

ipal_transcriber • Science 57%

Industrial protocol transcriber - a common representation of industrial communication as input for protocol-independent industrial intrusion detection systems.

Updated 11 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 11 months ago

sixarm_ruby_password_text • Science 44%

SixArm.com » Ruby » PasswordText class to generate good secure random password

Updated 11 months ago

typesecure • Science 44%

A focused TypeScript cryptography package that provides secure encryption and hashing utilities with strong typing and runtime validation using Zod.

Updated 11 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 11 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.