There are no reviews yet. Be the first to send feedback to the community and the maintainers!
FootPath
Infrastructureless indoor navigation for smart phonesmsf-opcua
Metasploit Modules for OPC UApie-for-tofino
Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.SymbolicLivenessAnalysis
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)ML-IIDS-generalizability
Evaluation artifacts to investigate the generalizability of ML-based IIDSscoinparty
CoinParty - Proof-of-concept implementation of our distributed, secure Bitcoin mixing protocolquic-grabber
anonboot
Proof-of-concept implementation of AnonBoot, our medium to securely bootstrap anonymity servicesklee-float
Floating point support for the KLEE symbolic execution enginesmartjudge
SmartJudge, the extensible framework for smart contract-based two-party protocolsbloom
BLOOM is a client-server system to securely outsource genomic matchings to an untrusted computation cloudhttp2-conext-push
Source code, results, and links to additional material used in "Is the Web Ready for HTTP/2 Server Push?"tofino-spin-bit-tracker
PowerGraph
Driver and GUI for the PowerGraph measurement platformquic-zgrab2
tor4iot-tor
coinprune-scripts
Sample scripts for working with our CoinPrune snapshotscoordinate-transformation
CloudAnalyzer
CloudAnalyzer allows users to locally measure their individual cloud usage on their Android devicetor4iot-contiki
docker-secret-analysis
Code to "Secrets Revealed in Container Images: An Internet-wide. Study on Occurrence and Impact"HTTP-3-Prioritization
h2o
Adapted Version of the h2o WebserverLove Open Source and this site? Check out how you can help us