Software Assurance & Security Research Team

DVHMA

Damn Vulnerable Hybrid Mobile App (DVHMA) is an hybrid mobile app (for Android) that intentionally contains vulnerabilities.

ExtensionCrawler

A collection of utilities for downloading and analyzing browser extension from the Chrome Web store.

ocl-examples

A collection of (toy) examples using OCL.

DASCA

DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.

Featherweight_OCL

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

DVGM

Vulnerable Grade Management System

Isabelle_DOF

Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

SecureBPMN

SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).

GenericBreakGlass-XACML

GenericBreakGlass: XACML Reference Implementation

isabelle-ofmc

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

UPF_Firewall

Local mirror of Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) entry of the Archive of Formal Proofs (AFP).

SecureUML-GUI

A ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.

Automated_Stateful_Protocol_Verification

Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

Core_DOM

Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).

Core_SC_DOM

Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".

Danube

DOM_Components

Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".

Extended_Finite_State_Machine_Inference

Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machine_Inference".

Extended_Finite_State_Machines

Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".

lh-docker-isabelle

A repository of Dockerfiles for running Isabelle or projects based on Isabelle.

lh-docker-scale-mamba

Container definitions (tested with docker and podman) for various versions of SCALE-MAMBA.

Nano_JSON

Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML

SC_DOM_Components

Local mirror of the Archive of Formal Proof (AFP) entry "SC_DOM_Components".

Shadow_DOM

Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_DOM".

Shadow_SC_DOM

Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_SC_DOM".

Stateful_Protocol_Composition_and_Typing

UPF

Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).

WALA

Fork of the T.J. Watson Libraries for Analysis used by DASCA.