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
- ALC-NG Public
A modern LaTeX sanitization tool for arXiv submissions. Strips unused files, comments, conditionals, and metadata while preserving the same output pdf.
- collaboration-fingerprinting Public
Code for “Collaboration Fingerprinting: Multi-Agent LLM Systems Leak What They Process on the Wire” (ACM CCS 2026 Poster). Infers case complexity and diagnosis of MDAgents runs from encrypted traffic metadata alone.
- homebrew-tap Public
- Datenspende Public
- xPrio Public
Reinforcement learning-based resource prioritization approach using runtime-available crosslayer information
-
- PatDiscover Public
Prototype of PatDiscover, our design for privacy-preserving discoverability of patients across institutions.
- PRepChain Public
Our research for establishing PRepChain, a versatile reputation-enriched ecosystem for supply networks
Top languages
Loading…
Most used topics
Loading…