Discover logicalhacking/Isabelle_DOF Open Source project

Stars
2
Language Isabelle
License
Other
Created over 5 years ago
Updated 5 months ago

logicalhacking

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

DVHMA

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

JavaScript

250

ExtensionCrawler

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

Python

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.

Java

Featherweight_OCL

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

Isabelle

SecureBPMN

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

Java

DVGM

Vulnerable Grade Management System

Ruby

GenericBreakGlass-XACML

GenericBreakGlass: XACML Reference Implementation

Java

logicalhacking/Isabelle_DOF

logicalhacking

Reviews

Repository Details

More Repositories