Explore @logicalhacking Open Source projects

Software Assurance & Security Research Team (@logicalhacking)

logicalhacking

Stars
285
Global Org. Rank 33,283 (Top 11 %)
Registered over 9 years ago
Most used languages

Java
37.5 %

Isabelle 25.0 %

JavaScript
12.5 %

Ruby
12.5 %

Python
12.5 %
Location 🇬🇧 United Kingdom
Country Total Rank 4,328
Country Ranking

Isabelle 8

JavaScript
773

Java
2,518

Ruby
2,906

Python
5,105

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

SecureBPMN

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

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.

GenericBreakGlass-XACML

GenericBreakGlass: XACML Reference Implementation