CASTOR-Software

openmz

OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.

oss-graph-metrics

Tools to mine and compute metrics on OSS software.

castor-days.github.io

Enhanced-MDG

Datasets for the WASP project course

gecode-mirror

Mirror of Gecode (Generic Constraint Development Environment)

HolBA-mirror

Mirror of https://github.com/kth-step/HolBA Binary analysis in HOL

kth-software-talks

How we run the KTH Software meetups

liven

Liven is a diversity builder. It enable continuous diversification in software life cycle.

mirror

Documentation and issues related to the Castor mirroring service.

nnpy

cffi-based Python bindings for nanomsg

unison-mirror

MIRROR of Unison's source code

castor-software-docs

Documentation about how to release CASTOR software artifacts to external repositories

depheaven

jshrink

Statically remove the body of uninvoked methods through call graph analysis and dynamic profiling

mininet

Emulator for rapid prototyping of Software Defined Networks

modelyze-mirror

Mirror of https://github.com/david-broman/modelyze

network_listener

This is a listener interface designed to receive updates from mininet

repairnator-mirror

Mirror of https://github.com/eclipse/repairnator

verificatum-vjsc-mirror

Mirror of https://github.com/verificatum/verificatum-vmn. Self-contained cryptographic library for use in electronic voting clients. Complete documentation with references to the literature makes it good teaching material.

verificatum-vmn-mirror

Mirror of https://github.com/verificatum/verificatum-vmn. The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.

wiwu