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 61 repositories
- distribution-grid-emulation Public
Code from our study on evaluating transport protocols, particularly MPTCP, in the context of reliable communication within energy distribution grids
COMSYS/distribution-grid-emulation’s past year of commit activity - MapXchange Public
Prototype of MapXchange, our implementation that offers a privacy-preserving exchange platform for technology parameter maps
COMSYS/MapXchange’s past year of commit activity