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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

プロジェクト

Zero-Effort Payments

Zero-Effort Payments (ZEP) is a seamless mobile computing system designed to accept payments with no effort on the customer’s part beyond a one-time opt-in. With ZEP, customers need not present cards nor operate smartphones to…

動画

Konstantinos Vamvourellis talks about his stint at MSR India

September 15, 2014 | Satya Lokam

Konstantinos is a PhD student in CSE at City University of New York. He is interested is research areas such as Cryptography and Privacy and worked with two groups at MSR India: Algorithms and Data…

01:39

公開日

Intruders Versus Intrusiveness: Teens’ and Parents’ Perspectives on Home-Entryway Surveillance

Blase Ur, Jaeyeon Jung, Stuart Schechter

2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014) | September 2014

Best Paper

プロジェクト

公開日

Courteous Glass

Jaeyeon Jung, Matthai Philipose

The UbiComp workshop on usable privacy and security of wearables and domestic ubiquitous devices | September 2014

公開日

Phishing in Smooth Waters: The State of Banking Certificates in the US

Zheng Dong, Kevin Kane, L. Jean Camp

Procedings of TPRC42, the Research Conference on Communication, Information, and Internet Policy, Proceedings of TPRC42, the Research Conference on Communication, Information and Internet Policy | September 2014

公開日