📡 Protocols - rektide · Scour

NEST: Network Enforced Session Types (Technical Report) 🌐Noosphere

$O(K)$-Approximation Coflow Scheduling in $K$-Core Optical Circuit Switching Networks 🌐Distributed Systems

Rigorous Security Proofs for Practical Quantum Key Distribution 🤝Paxos Consensus

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures 🌸Bloom Filters

Log in to enable infinite scrolling