Software Reliability Lab
The Software Reliability Lab develops new methods and techniques for improving the quality and dependability of software systems.
Spread across the globe
Pinned Repositories
coqpyt
Python client for coq-lsp
EcoAndroid
EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.
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"
gspider
Guess success probability slider, for plotting the evolution of password guessing attacks.
hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
iris-jellyfish
Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list
pin-bank
Numeric PINs counted and sorted by frequency as they occur in the RockYou dataset.
qsharp-fuzz
skeptic-lang
A DSL for asserting password composition policy effectiveness.
Software Reliability Lab's Repositories
sr-lab/coqpyt
Python client for coq-lsp
sr-lab/GLITCH
GLITCH is a technology-agnostic framework that enables automated detection of code smells in Infrastructure-as-Code scripts.
sr-lab/EcoAndroid
EcoAndroid is an Android Studio plugin that suggests automated refactorings for reducing energy consumption of Java android applications.
sr-lab/hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
sr-lab/iris-jellyfish
Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list
sr-lab/GLITCH-ASE22-Replication-Package
Replication Package for the paper "GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code"
sr-lab/gspider
Guess success probability slider, for plotting the evolution of password guessing attacks.
sr-lab/contracts-android
Contract usage in Android Java and Kotlin applications
sr-lab/DafnyBench
DafnyBench: A Benchmark for Formal Software Verification
sr-lab/pyrrho
Automated password composition policy selection.
sr-lab/qsharp-fuzz
sr-lab/skeptic-authority-template
A basic template for a Skeptic authority.
sr-lab/skeptic-lang
A DSL for asserting password composition policy effectiveness.
sr-lab/.github
sr-lab/analytic-password-cracking-box
Box to run the analytic password cracking utility.
sr-lab/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
sr-lab/coq-modeling
Language models for Coq based on data collected from the coq lsp.
sr-lab/coq-number-rendering
Coq number rendering library.
sr-lab/DifFuzzAR
Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
sr-lab/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)
sr-lab/glitch-python-hcl2
sr-lab/nbvcxz
Password strength estimator
sr-lab/pol-infer
Inferring password composition policies from breached user credential databases.
sr-lab/polaris
sr-lab/pws_repo
sr-lab/quantum-hoare-logic
sr-lab/smartbugs
SmartBugs: A Framework to Analyze Solidity Smart Contracts
sr-lab/XBoard
在线白板 Online whiteboard
sr-lab/zxcvbn
Low-Budget Password Strength Estimation
sr-lab/zxcvbn-plus
Low-Budget Password Strength Estimation