Popular repositories

1. FootPath FootPath Public

   Infrastructureless indoor navigation for smart phones

   Java 89 51

2. msf-opcua msf-opcua Public

   Metasploit Modules for OPC UA

   Python 30 13

3. SymbolicLivenessAnalysis SymbolicLivenessAnalysis Public

   Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)

   C++ 14 1

4. pie-for-tofino pie-for-tofino Public

   Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.

   P4 13 2

5. coinparty coinparty Public

   CoinParty - Proof-of-concept implementation of our distributed, secure Bitcoin mixing protocol

   JavaScript 7 3

6. anonboot anonboot Public

   Proof-of-concept implementation of AnonBoot, our medium to securely bootstrap anonymity services

   Python 6 5