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 engineMailAnalyzer
MailAnalyzer assess the prevalence of cloud computing in the email landscape based on inspecting headers of (received) emailssmartjudge
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
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