sr-lab Goto Github PK

ampasamp

A minimal password sampler.

analytic-password-cracking-box

Box to run the analytic password cracking utility.

capitalizer

Capital letter (and symbol) heat-mapper and password capitalisation utility.

coq-number-rendering

Coq number rendering library.

coq-tries

Generic tries in Coq.

coqpyt

Python client for coq-lsp

count-expander

A program for re-hydrating password dumps that contain counts.

diffuzzar

Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities

ecoandroid

EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.

efficient-lock-free-durable-sets

Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (https://dl.acm.org/doi/10.1145/3360554)

entropy-calculator

Extensible batch password entropy calculator.

glitch

GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.

glitch-ase22-replication-package

Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"

glitch-python-hcl2

gspider

Guess success probability slider, for plotting the evolution of password guessing attacks.

guesser

Super simple list-based password guesser.

hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

infer

A static analyzer for Java, C and Objective-C

iris-jellyfish

Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list

jump-mapper

Approximating PIN guess numbers using keypad patterns.

nbvcxz

Password strength estimator

pam-cracklib-nodict

The vanilla pam_cracklib module with dictionary checks disabled.

pin-bank

Numeric PINs counted and sorted by frequency as they occur in the RockYou dataset.

pol-infer

Inferring password composition policies from breached user credential databases.

polaris

pwned-api-wrapper

Wraps the Pwned Passwords API offering batch queries etc. from the command line.

pws_repo

pyrrho

Automated password composition policy selection.

qsharp-fuzz

quantum-hoare-logic