sprlab

Popular repositories Loading

1. debloat-bench debloat-bench Public

   Roff 1 2

2. EMV-Contactless-Study EMV-Contactless-Study Public

   Artifacts for "Secret State Leakage Attacks and Their Impacts on EMV Contactless Payment Apps", accepted to IEEE S&P 2026.

   Python 1

3. cryptoguard cryptoguard Public

   Forked from CryptoGuardOSS/cryptoguard

   Java

4. proguard-core proguard-core Public

   Forked from Guardsquare/proguard-core

   Library to read, write, analyze, and process java bytecode

   Java

5. SPF SPF Public

   Forked from gaurangkudale/SPF

   Symbolic PathFinder

   Java

6. WritingForCS_ZustinZobel WritingForCS_ZustinZobel Public

   This repository contains the presentations on different chapters of "Writing for the Computer Science, 3rd Ed.," written by Justin Zobel.