illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, & cryptography

Developing technologies that protect data, preserve privacy, and build trustworthy computing systems.

Diagram showing the process of verifying cryptographic code. An algorithm from a standard is converted into a formal specification, while Rust code is converted into a code model. The specification and code model are then compared through proof and verification steps.

Verifying Rust cryptography in SymCrypt, from standards to code

Three white line-style icons centered on a textured blue-to-green gradient background: a shield, a checkmark inside a circle, and an ID card with a user silhouette—representing security, verification, and digital identity.

Vega: Zero-knowledge proofs for digital identity in the age of AI

Project Ire | | three white line icons on an abstract purple background | greater than / less than icon, search icon, shield icon

Ire identifies another LOTUSLITE specimen

Social Reasoning Bench | four icons on a blue to green gradient | person icon, chat bubble icon, chart icon, checklist icon

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

현재 선택 항목

정렬 기준: 가장 최근 순

선택 해제

이 결과 내에서 검색

콘텐츠 유형

게시 날짜 표시

출판

Microsoft New Future of Work Report 2022

Jaime Teevan, Nancy Baym, Jenna Butler, Brent Hecht, Sonia Jaffe, Kate Nowak, Abigail Sellen, Longqi Yang, Marcus Ash, Kagonya Awori, Mia Bruch, Piali Choudhury, Adam Coleman, Scott Counts, Shiraz Cupala, Mary Czerwinski, Ed Doran, Elizabeth Fetterolf, Mar Gonzalez Franco, Kunal Gupta, Aaron L Halfaker, Constance Hadley, Brian Houck, Kori Inkpen, Shamsi Iqbal, Eric Knudsen, Stacey Levine, Siân Lindley, Jennifer Neville, Jacki O'Neill, Rick Pollak, Victor Poznanski, Sean Rintel, Neha Parikh Shah, Siddharth Suri, Adam D. Troy, Mengting Wan

MSR-TR-2022-3 | May 2022

글쓴이 Microsoft

동영상 동영상 동영상 동영상 동영상 동영상 프로젝트 프로젝트 프로젝트 프로젝트

출판

SECFLOAT: Accurate Floating-Point meets Secure 2-Party Computation

Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi

43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022) | May 2022

프로젝트

출판

Universally Composable Almost-Everywhere Secure Computation

Nishanth Chandran, Pouyan Forghani, Juan Garay, Rutvik Patel, Rafail Ostrovsky, Vassilis Zikas

Information Theoretic Cryptography Conference (ITC 2022) | May 2022

출판

ReMoS: Reducing Defect Inheritance in Transfer Learning via Relevant Model Slicing

Ziqi Zhang, Yuanchun Li, Jindong Wang, Bingyan Liu, Ding Li, Xiangqun Chen, Yao Guo, Yunxin Liu

ICSE 2022 | May 2022

출판

HardLog: Practical Tamper-Proof System Auditing Using a Novel Audit Device

Adil Ahmad, Sangho Lee, Marcus Peinado

43rd IEEE Symposium on Security and Privacy (Oakland 2022) | May 2022

출판

Short Leakage Resilient and Non-malleable Secret Sharing Schemes

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

CRYPTO 2022 | May 2022

출판

Microsoft CloudMine: Data Mining for the Executive Order on Improving the Nation’s Cybersecurity

Kim Herzig, Luke Gostling, Maximilian Grothusmann, Nora Huang, Sascha Just, Alan Klimowski, Yashasvini Ramkumar, Myles McLeroy, Kivanc Muslu, Hitesh Sajnani, Varsha Vadaga

May 2022

출판

What are Weak Links in the npm Supply Chain?

Nusrat Zahan, Tom Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Maddila, Laurie Williams

ICSE 2022 | May 2022

프로젝트 프로젝트

출판

Timing-Based Browsing Privacy Vulnerabilities Via Site Isolation

Zihao Jin, Ziqiao Kong, Shuo Chen, Haixin Duan

IEEE Symposium on Security and Privacy (Oakland) | May 2022

동영상

Securing AI Systems for Humanitarian Action | Panel Discussion

April 28, 2022 | Scarlet Schwiderski-Grosche, Balthasar Staehelin, Shweta Shinde, Cédric Fournet & Edouard Bugnion

The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one of the largest machine learning & AI events in Europe, focused specifically on the applications of…

54:43

Security, privacy, & cryptography

하이라이트