logicalhacking Goto Github PK

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

dasca

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

dom_components

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

dvgm

Vulnerable Grade Management System

dvhma

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

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".

extensioncrawler

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

featherweight_ocl

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

genericbreakglass-xacml

GenericBreakGlass: XACML Reference Implementation

isabelle-ofmc

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

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.

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

ocl-examples

A collection of (toy) examples using OCL.

sc_dom_components

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

securebpmn

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

secureuml-gui

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

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).

upf_firewall

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

wala

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