Repositories list

• ecc_weak_keys

  Public
  elliptic curve algorithm and nist curves

  Rust

  •33 forks•11 star•22 issues•00 pull requests•Updated Mar 4, 2026Mar 4, 2026

• owsm

  Public
  OWSM: OPA Wrapper State Manager

  Go

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 19, 2026Feb 19, 2026

• s4t-verification

  Public
  Verification of Stack4Things tunnel creation protocol, using DBCChecker and ProVerif

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 31, 2025Dec 31, 2025

• accpy-rep-pkg

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

  Jupyter Notebook

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 5, 2025Nov 5, 2025

• DBCChecker-WebApp

  Public
  A brand new Web App for DBCChecker

  Svelte

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 11, 2025Jun 11, 2025

• docker2ldb

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

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 23, 2024Jan 23, 2024

• mads-site

  Public
  HTML

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 28, 2023Sep 28, 2023

• DBCChecker

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

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated May 15, 2023May 15, 2023

• cysecud.github.io

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 17, 2023Jan 17, 2023