High-Assurance Software Laboratory

Portugal

Pinned Repositories

Alloy4Fun
A webapp for developing and sharing Alloy models
Language:JavaScript22 6 1307
echo
A tool for model repair and transformation
Language:Java12 7 1793
Electrum
A model checker for relational first-order temporal specifications
Language:Java27 10 694
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:Java49 6 629
HAAP
Haskell Automated Assessment Platform
Language:Haskell9 7 01
halex
Language:Haskell8 3 25
labhe
Labelled homomorphic encryption implementation (ESORICS 2017)
Language:C8 2 03
Pardinus
An extension of the Kodkod relational model finder
Language:Java5 4 386
Scalable-Bloom-Filters
Language:Erlang7 7 02
why3do
Why3-do: a WhyML library for state machine specifications and distributed systems
Language:Shell5 4 00

High-Assurance Software Laboratory's Repositories

haslab/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:Java49 6 629
haslab/Electrum
A model checker for relational first-order temporal specifications
Language:Java27 10 694
haslab/Alloy4Fun
A webapp for developing and sharing Alloy models
Language:JavaScript22 6 1307
haslab/echo
A tool for model repair and transformation
Language:Java12 7 1793
haslab/HAAP
Haskell Automated Assessment Platform
Language:Haskell9 7 01
haslab/halex
Language:Haskell8 3 25
haslab/labhe
Labelled homomorphic encryption implementation (ESORICS 2017)
Language:C8 2 03
haslab/Scalable-Bloom-Filters
Language:Erlang7 7 02
haslab/CircGen
Language:Coq5 3 11
haslab/Pardinus
An extension of the Kodkod relational model finder
Language:Java5 4 386
haslab/why3do
Why3-do: a WhyML library for state machine specifications and distributed systems
Language:Shell5 4 00
haslab/Dotted-Version-Vectors
Language:Erlang4 5 00
haslab/libjbn
BigNums library for Jasmin
Language:C4 9 0
haslab/ccomp-simd
SIMD extensions for ccomp
Language:C3 11 01
haslab/ifta
Language:Scala3 2 00
haslab/SecreC
Language:Haskell3 2 12
haslab/electrum-old
2 5 00
haslab/MeT
Language:Python2 3 00
haslab/apex
1 6 00
haslab/hcispecs
Formal models of human-machine interfaces
Language:HTML1 3 00
haslab/Interval-Tree-Clocks
Language:Java1 5 0
haslab/QAIS
Quantitative Analysis of Interacting Systems
Language:Haskell1 2 01
haslab/LangSMC
Language-based Secure Multiparty Computation
Language:eC0 10 00
haslab/CRDTs
CRDTs @ HASLab
8 0
haslab/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:C2 0
haslab/exactly-once-transfer
Exactly once quantity transfer
Language:C++4 0
haslab/jasmin
Language for high-assurance and high-speed cryptography
Language:Coq0 0
haslab/libjade
Crypto library
Language:eC0 0
haslab/Reassure
Reassure Project
Language:C5 0