Article-Journal

Security Policy as Code
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Toward a Practical Deterministic Datapath for 6G End Devices
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Toward Robust Control for 6G Networks
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite
A Solicitous Approach to Smart Contract Verification
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Congestion Control for Datacenter Networks: A Control-Theoretic Approach
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Interminable Flows: A Generic, Joint, Customizable Resiliency Model for Big-Data Streaming Platforms
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
Secure and Reliable Network Updates
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
C3PO: Cloud-based Confidentiality-preserving Continuous Query Processing
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL
DEFUSE: An Interface for Fast and Correct User Space File System Access
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI URL