COMSYS

Pinned Repositories

coinparty
CoinParty - Proof-of-concept implementation of our distributed, secure Bitcoin mixing protocol
Language:JavaScript7 9 03
FootPath
Infrastructureless indoor navigation for smart phones
Language:Java89 28 551
klee-float
Floating point support for the KLEE symbolic execution engine
Language:C++4 5 11
mcBERT
Language:Python40
ML-IIDS-generalizability
Evaluation artifacts to investigate the generalizability of ML-based IIDSs
Language:Python7 13 01
msf-opcua
Metasploit Modules for OPC UA
Language:Python31 12 013
pie-for-tofino
Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.
Language:P414 10 12
quic-grabber
Language:Python5 3 11
SymbolicLivenessAnalysis
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Language:C++14 9 01
zgrab2
Fast Go Application Scanner
Language:Go4 1 01

COMSYS's Repositories

COMSYS/pie-for-tofino
Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.
Language:P414 10 12
COMSYS/SymbolicLivenessAnalysis
Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Language:C++14 9 01
COMSYS/ML-IIDS-generalizability
Evaluation artifacts to investigate the generalizability of ML-based IIDSs
Language:Python7 13 01
COMSYS/anonboot
Proof-of-concept implementation of AnonBoot, our medium to securely bootstrap anonymity services
Language:Python4 9 05
COMSYS/zgrab2
Fast Go Application Scanner
Language:Go4 1 01
COMSYS/smartjudge
SmartJudge, the extensible framework for smart contract-based two-party protocols
Language:Solidity3 12 02
COMSYS/coinprune
Bitcoin Core integration/staging tree
Language:C++2 1 01
COMSYS/docker-secret-analysis
Code to "Secrets Revealed in Container Images: An Internet-wide. Study on Occurrence and Impact"
Language:Jupyter Notebook2 6 00
COMSYS/tofino-spin-bit-tracker
Language:P42 11 0
COMSYS/coordinate-transformation
Language:P41 10 0
COMSYS/h2o
Adapted Version of the h2o Webserver
Language:C1 12 00
COMSYS/HTTP-3-Prioritization
Language:Python1 12 02
COMSYS/quic-zgrab2
Language:Go1 6 00
COMSYS/secure-sensing
Evaluation artifacts that enable end-to-end-secured sensing (E2E sensing)
Language:Python1 8 01
COMSYS/industry-benchmarking
Prototype implementations of HW-PIB & SW-PIB, our implementations that offer Privacy-Preserving Industry Benchmarks
Language:Rust0 6 00
COMSYS/ipv6-scanning
Language:Go0 6 00
COMSYS/PrivAccIChain
Prototype of PrivAccIChain and corresponding evaluation artifacts
Language:Python00
COMSYS/purchase-inquiries
Prototype implementations of PPI, HPI & cHPI, our implementations that offer Two-Way Privacy for Purchase Inquiries
Language:Python0 5 00
COMSYS/quic-ecn-measurements
Language:HTML0 6 00
COMSYS/quic-ecn-tracebox
Language:Go0 6 00
COMSYS/quic-go
Language:Go0 6 00
COMSYS/aioquic
QUIC and HTTP/3 implementation in Python
Language:Python1 0
COMSYS/amqp
Go client for AMQP 0.9.1
Language:Go1 0
COMSYS/contiki
SplitBuffer extension for the Internet of Things operating system Contiki.
Language:C8 02
COMSYS/dtls
DTLS 1.2 Server/Client implementation for Go
Language:Go
COMSYS/efm-evaluation-anrw
Language:Python12 0
COMSYS/go-amqp
AMQP 1.0 client library for Go.
Language:Go1 0
COMSYS/paho.mqtt.golang
Language:Go1 0
COMSYS/redactchain
Proof-of-concept research protoype for RedactChain.
Language:Python13 0
COMSYS/zcrypto
Liberal Go TLS + X.509 Library for Research
Language:Go1 0