COMSYS
Popular repositories Loading
-
pie-for-tofino
pie-for-tofino PublicData plane and control plane implementations of our three variants of PIE for Tofino in P4_16.
-
SymbolicLivenessAnalysis
SymbolicLivenessAnalysis PublicSymbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
Repositories
- PatDiscover Public
Prototype of PatDiscover, our design for privacy-preserving discoverability of patients across institutions.
COMSYS/PatDiscover’s past year of commit activity - PRepChain Public
Our research for establishing PRepChain, a versatile reputation-enriched ecosystem for supply networks
COMSYS/PRepChain’s past year of commit activity - ConfMod Public
Prototype of ConfMod, our simple approach for modeling confidentiality requirements in the context of inter-organizational data sharing in the IIoT
COMSYS/ConfMod’s past year of commit activity - ns3-efm-study-overview Public
COMSYS/ns3-efm-study-overview’s past year of commit activity - VGPrio Public
Prototype of VGPrio, our implementation for Visually Guided, Bayesian Optimization-based HTTP/3 Prioritization
COMSYS/VGPrio’s past year of commit activity - HTTP-3-Prioritization Public
COMSYS/HTTP-3-Prioritization’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…