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

現在の選択

並べ替え: 最近

選択内容のクリア

この結果内で検索する

コンテンツタイプ

公開日

Large-Scale Malware Classification Using Random Projections and Neural Networks

George Dahl, Jack W. Stokes, Li Deng, Dong Yu

Proceedings IEEE Conference on Acoustics, Speech, and Signal Processing (ICASSP) | May 2013

プロジェクト

公開日

Robust scareware image detection

Christian Seifert, Jack W. Stokes, Christina Colcernian, John Platt, Long Lu

2013 International Conference on Acoustics, Speech, and Signal Processing | May 2013

プロジェクト

公開日

Gone, But Not Forgotten: The Current State of Private Computing (Short Paper)

Aseem Rastogi, Jun Yuan, Rob Johnson

Web 2.0 Security & Privacy 2013 | May 2013

公開日

You Needn’t Build That: Reusable Ethics-Compliance Infrastructure for Human Subjects Research

Cristian Bravo-Lillo, Serge Egelman, Cormac Herley, Stuart Schechter, Janice Tsai

Cyber-security Research Ethics Dialog & Strategy Workshop (CREDS 2013) | May 2013

公開日

Pinocchio: Nearly Practical Verifiable Computation

Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova

Proceedings of the IEEE Symposium on Security and Privacy | May 2013

Proceedings of the IEEE Symposium on Security and Privacy

Best Paper Award

プロジェクト

公開日

Finding the Linchpins of the Dark Web: a Study on Topologically Dedicated Hosts on Malicious Web Infrastructures

Zhou Li, Sumayah Arlwais, Yinglian Xie, Fang Yu, XiaoFeng Wang

IEEE Symposium on Security and Privacy, 2013 | May 2013

IEEE Symposium on Security and Privacy, 2013

公開日

SocialWatch: Detection of Online Service Abuse via Large-Scale Social Graphs

Junxian Huang, Yinglian Xie, Fang Yu, Qifa Ke, Martin Abadi, Eliot Gillum, Z. Morley Mao

8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS) | May 2013

公開日

Security Implications of Password Discretization for Click-based Graphical Passwords

Bin Benjamin Zhu, Dongchen Wei, Maowei Yang, Jeff Yan

May 2013

公開日

Fast Cryptography in Genus 2

Joppe Bos, Craig Costello, Kristin Lauter

Eurocrypt 2013 | May 2013

公開日

Taking Data Exposure into Account: How Does It Affect the Choice of Sign-in Accounts?

Shahar Ronen, Oriana Riva

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI ’13) | May 2013

Security, privacy, & cryptography

ハイライト