Filter

Clear Filter

Archived Not Archived

Forked Not Forked

Mirrored Not Mirrored

Template Not Template

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

HOL-OCL/ su4sml

Standard ML 0 0

su4sml - an SML repository for managing (Secure)UML/OCL models

Updated 2024-08-10 21:33:15 +00:00

DASCA/ DVHMA

JavaScript 0 0

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

Updated 2024-08-10 21:33:15 +00:00

adbrucker/ tuos-latex Archived

TeX 0 0

Various LaTeX templates mimicking the cooperate guidelines of the The University of Sheffield.

Updated 2024-08-10 21:33:15 +00:00

DASCA/ WALA

Java 0 0

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

Updated 2024-08-10 21:33:15 +00:00

DASCA/ DASCA

Java 1 0

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

Updated 2024-08-10 21:33:15 +00:00

ProtocolSecurity/ isabelle-ofmc Archived

Standard ML 0 0

Isabelle/OFMC - Linking OFMC and Isabelle/HOL

Updated 2024-08-10 21:33:15 +00:00

GenericBreakGlass/ GenericBreakGlass-XACML Archived

Java 0 0

GenericBreakGlass: XACML Reference Implementation

Updated 2024-08-10 21:33:14 +00:00

SecureBPMN/ SecureBPMN Archived

Java 0 0

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

Updated 2024-08-10 21:33:14 +00:00

FLOSS-Security/ foss-vuln-tracker

Java 0 0

Updated 2023-09-18 19:19:42 +00:00