cysecud

crypto-lw Public

Collection of software-oriented lightweight symmetric ciphers

C 1 0 0 0 Updated Jul 16, 2026

ecc_weak_keys Public

elliptic curve algorithm and nist curves

Rust 1 3 2 0 Updated Mar 4, 2026

owsm Public

OWSM: OPA Wrapper State Manager

Go 0MIT 0 0 0 Updated Feb 19, 2026

s4t-verification Public

Verification of Stack4Things tunnel creation protocol, using DBCChecker and ProVerif

0MIT 0 0 0 Updated Dec 31, 2025

accpy-rep-pkg Public

Security Assessment of Private Package Repositories: a Case Study on Acc-Py at CERN

Jupyter Notebook 0MIT 0 0 0 Updated Nov 5, 2025

DBCChecker-WebApp Public

A brand new Web App for DBCChecker

Svelte 0 0 0 0 Updated Jun 11, 2025

docker2ldb Public

A program to represent and analyse docker-compose files as local directed bigraphs.

Java 0 0 0 0 Updated Jan 23, 2024

mads-site Public

HTML 1 0 0 0 Updated Sep 28, 2023

DBCChecker Public

A prototype tool aiming to verify security properties of systems obtained by composition of containers

Python 2 0 0 0 Updated May 15, 2023

cysecud.github.io Public

0 0 0 0 Updated Jan 17, 2023

Navigation Menu

Uh oh!

Uh oh!

cysecud

Popular repositories Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!