COMSYS
Popular repositories Loading
-
SymbolicLivenessAnalysis
SymbolicLivenessAnalysis PublicSymbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)
-
pie-for-tofino
pie-for-tofino PublicData plane and control plane implementations of our three variants of PIE for Tofino in P4_16.
-
ML-IIDS-generalizability
ML-IIDS-generalizability PublicEvaluation artifacts to investigate the generalizability of ML-based IIDSs
Repositories
Showing 10 of 62 repositories
- ns3-efm-study-overview Public
- MapXchange Public
Prototype of MapXchange, our implementation that offers a privacy-preserving exchange platform for technology parameter maps
- distribution-grid-emulation Public
Code from our study on evaluating transport protocols, particularly MPTCP, in the context of reliable communication within energy distribution grids