Giters
High-Assurance Software Laboratory (haslab)

High-Assurance Software Laboratory

haslab

Geek Repo

Location:Portugal

Home Page:haslab.pt

Github PK Tool:Github PK Tool

High-Assurance Software Laboratory's repositories

Electrum2

Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language:JavaLicense:NOASSERTIONStargazers:49Issues:7Issues:62

Electrum

A model checker for relational first-order temporal specifications

Language:JavaStargazers:27Issues:10Issues:69

Alloy4Fun

A webapp for developing and sharing Alloy models

Language:JavaScriptLicense:MITStargazers:22Issues:7Issues:129

echo

A tool for model repair and transformation

Language:JavaLicense:EPL-1.0Stargazers:12Issues:7Issues:179

HAAP

Haskell Automated Assessment Platform

Language:HaskellLicense:MITStargazers:8Issues:8Issues:0

halex

Language:HaskellLicense:NOASSERTIONStargazers:8Issues:4Issues:2

labhe

Labelled homomorphic encryption implementation (ESORICS 2017)

Language:CLicense:MITStargazers:8Issues:3Issues:0

Scalable-Bloom-Filters

Language:ErlangStargazers:7Issues:7Issues:0

CircGen

Language:CoqStargazers:5Issues:4Issues:1

Pardinus

An extension of the Kodkod relational model finder

Language:JavaLicense:MITStargazers:5Issues:5Issues:38

Dotted-Version-Vectors

Language:ErlangStargazers:4Issues:6Issues:0

libjbn

BigNums library for Jasmin

Language:CStargazers:4Issues:7Issues:0

why3do

Why3-do: a WhyML library for state machine specifications and distributed systems

Language:ShellLicense:MITStargazers:4Issues:0Issues:0

ccomp-simd

SIMD extensions for ccomp

Language:CStargazers:3Issues:10Issues:0

ifta

Language:ScalaStargazers:3Issues:3Issues:0

electrum-old

Stargazers:2Issues:5Issues:0

MeT

Language:PythonStargazers:2Issues:4Issues:0

SecreC

Language:HaskellLicense:GPL-3.0Stargazers:2Issues:3Issues:1

apex

Stargazers:1Issues:6Issues:0

hcispecs

Formal models of human-machine interfaces

Language:HTMLStargazers:1Issues:4Issues:0

Interval-Tree-Clocks

Language:JavaStargazers:1Issues:6Issues:0

QAIS

Quantitative Analysis of Interacting Systems

Language:HaskellStargazers:1Issues:3Issues:0

LangSMC

Language-based Secure Multiparty Computation

Language:eCLicense:MITStargazers:0Issues:9Issues:0

CRDTs

CRDTs @ HASLab

Stargazers:0Issues:8Issues:0

dedisbench

DEDISbench: A disk I/O block-based benchmark for deduplication systems. Unlike other existing benchmarks, written content is generated in a realistic fashion that mimics the content found on real storage distributions.

Language:CLicense:GPL-2.0Stargazers:0Issues:3Issues:0

exactly-once-transfer

Exactly once quantity transfer

Language:C++Stargazers:0Issues:4Issues:0

jasmin

Language for high-assurance and high-speed cryptography

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

libjade

Crypto library

Language:eCLicense:CC0-1.0Stargazers:0Issues:0Issues:0

Reassure

Reassure Project

Language:CStargazers:0Issues:6Issues:0