Latest

• On the Specification and Analysis of Quantum Repeater Protocols
• CGFE: Efficient Range Encoding for TCAMs
• Confidential Analytics with Scylla
• FiDe: Reliable and Fast Crash Failure Detection to Boost Datacenter Coordination
• Nano-consensus: Ultra-fast, Quorum-less Coordination on the Wire
• Security Policy as Code
• FARM: Comprehensive Data Center Network Monitoring and Management
• Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
• Towards an Algebraic Specification of Quantum Networks
• Live in the Express Lane