Search Results for author:
Found 4 papers, 1 papers with code
Sovereign Smartphone: To Enjoy Freedom We Have to Control Our Phones
The majority of smartphones either run iOS or Android operating systems.
Cryptography and Security
Quantitative Verification of Neural Networks And its Security Applications
Neural networks are increasingly employed in safety-critical domains.
Practical Verifiable In-network Filtering for DDoS defense
In this paper, we show the technical feasibility of verifiable in-network filtering, called VIF, that offers filtering verifiability to DDoS victims and neighbor ASes.
Cryptography and Security
Privado: Practical and Secure DNN Inference with Enclaves
In this paper, we ask a timely question: "Can third-party cloud services use Intel SGX enclaves to provide practical, yet secure DNN Inference-as-a-service?"
