Amanote Research
Register
Sign In
Toward a Verifiable Software Dataplane
doi 10.1145/2535771.2535777
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
Mihai Dobrescu
Katerina Argyraki
Publisher
ACM Press
Related search
Software Platform Evaluation - Verifiable Fuel Cycle Simulation (VISION) Model
Verifiable Voting Systems
Toward Feature Engineering of Software Systems
Vital Verifiable CPD – Instructions
Vital
Verifiable Partial Key Escrow
Verifiable Dynamic Searchable Encryption
Turkish Journal of Electrical Engineering and Computer Sciences
Electronic Engineering
Electrical
Computer Science
Generic Constructions for Verifiable Signcryption
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifiable Visualization for Isosurface Extraction
IEEE Transactions on Visualization and Computer Graphics
Computer Graphics
Pattern Recognition
Computer Vision
Computer-Aided Design
Signal Processing
Software
Establishing Microsoft Research Centre in Indonesia: A Road Path Toward Exporting Indonesian Software
Jurnal Teknobisnis