Security, privacy, and cryptography

网络研讨会

Fuzzing to improve the security and reliability of cloud services with RESTler webinar

May 26, 2021 | Online

In this webinar, join Marina Polish…

Marina smiling for the camera in a hexagon next to her webinar title

论文与出版物

Efficient Graph Encryption Scheme for Shortest Path Queries

Esha Ghosh, Seny Kamara, Roberto Tamassia

2021 Computer and Communications Security | May 2021

论文与出版物

Adaptive Extractors and their Application to Leakage Resilient Secret Sharing

Nishanth Chandran, Bhavana Kanukurthi, Sai Lakshmi Bhavana Obbattu, Sruthi Sekar

CRYPTO | May 2021

微软研究院博客

Anticipate, absorb, and adapt—introducing the societal resilience research agenda

2021年5月20日 | Peter Lee

The genetic sequence for COVID-19 w…

论文与出版物

Agatha: Smart Contract for DNN Computation

Zihan Zheng, Peichen Xie, Xian Zhang, Shuo Chen, Yang Chen, Xiaobing Guo, Guangzhong Sun, Guangyu Sun, Lidong Zhou

May 2021

微软研究院博客

EverParse: Hardening critical attack surfaces with formally proven message parsers

2021年5月3日 | Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy

EverParse (opens in new tab) is a f…

视频

Practical Secure Inference | Asia Innovation Summit

2021年5月3日 | Divya Gupta

Fueled by massive data and the avai…

31:42

论文与出版物

Privacy-preserving decentralized aggregation for federated learning

Beomyeol Jeon, SM Ferdous, Muntasir Raihan Rahman, Anwar Walid

IEEE INFOCOM 2021 – IEEE Conference on Computer Communications Workshops (INFOCOM WORKSHOPS) | May 2021

论文与出版物

Hardware-Software Contracts for Secure Speculation

Marco Guarnieri, Boris Köpf, Jan Reineke, Pepe Vila

IEEE Symposium on Security and Privacy | May 2021

Best Paper Award

项目项目

论文与出版物

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou

IEEE Symposium on Security and Privacy | May 2021

项目

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Fuzzing to improve the security and reliability of cloud services with RESTler webinar

Efficient Graph Encryption Scheme for Shortest Path Queries

Adaptive Extractors and their Application to Leakage Resilient Secret Sharing

Anticipate, absorb, and adapt—introducing the societal resilience research agenda

Agatha: Smart Contract for DNN Computation

EverParse: Hardening critical attack surfaces with formally proven message parsers

Practical Secure Inference | Asia Innovation Summit

Privacy-preserving decentralized aggregation for federated learning

Hardware-Software Contracts for Secure Speculation

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

Security, privacy, and cryptography

高亮