Software Assurance & Security Research Team (@logicalhacking)
Guthub

logicalhacking

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    285
  • Global Org. Rank 33,259 (Top 11 %)
  • Registered about 9 years ago
  • Most used languages
    Java
         37.5 %
    Isabelle     25.0 %
    Ruby
         12.5 %
    JavaScript
         12.5 %
    Python
         12.5 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 4,328
  • Country Ranking
    Isabelle     8
    JavaScript
         771
    Java
         2,397
    Ruby
         2,634
    Python
         5,119

Top repositories

1

DVHMA

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

ExtensionCrawler

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

ocl-examples

A collection of (toy) examples using OCL.
5
star
4

DASCA

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

Featherweight_OCL

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
Isabelle
3
star
6

SecureBPMN

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

DVGM

Vulnerable Grade Management System
Ruby
2
star
8

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.
Isabelle
2
star
9

GenericBreakGlass-XACML

GenericBreakGlass: XACML Reference Implementation
Java
1
star