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

Sélections actuelles

Trier par: Le plus récent

Effacer les sélections

Recherche dans ces résultats

Types de contenu

Date de publication

Publication

Cyber-Physical Security: A Game Theory Model of Humans Interacting over Control Systems

Scott Backhaus, Russell Bent, James Bono, Ritchie Lee, Brendan Tracey, David Wolpert, Dongping Xie, Yildiray Yildiz

IEEE Transactions on Smart Grid | November 2013, Vol 4(4): pp. 2320-2327

Publication

deDacota: Toward Preventing Server-Side XSS via Automatic Code and Data Separation

Adam Doupe, Weidong Cui, Marcus Peinado, Mariusz Jakubowski, Christopher Kruegel, Giovanni Vigna

Proceedings of the 20th ACM Conference on Computer and Communications Security | November 2013

Publication

Unauthorized Origin Crossing on Mobile Platforms: Threats and Mitigation

Rui Wang, Luyi Xing, XiaoFeng Wang, Shuo Chen

Proceedings of the ACM Conference on Computer and Communications Security (CCS) | November 2013

Publication

Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System

George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno

Workshop on Language Support for Privacy Enhancing Technologies | November 2013

Projet

Publication

Verifying computations with state

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, Michael Walfish

Symposium on Operating Systems Principles (SOSP) | November 2013

Publication

AUTOCRYPT: Enabling Homomorphic Computation on Servers to Protect Sensitive Web Content

Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena

Computer and Communications Security (CCS 2013) | November 2013

Publication

Protecting Sensitive Web Content from Client-side Vulnerabilities with CRYPTONs

Xinshu Dong, Zhaofeng Chen, Hossein Siaditi, Shruti Tople, Prateek Saxena, Zhenkai Liang

Computer and Communications Security (CCS 2013) | November 2013

Publication

Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing

Maria Christakis, Patrice Godefroid

MSR-TR-2013-120 | November 2013

Publication

Early Security Classification of Skype Users via Machine Learning

Anna Leontjeva, Moises Goldszmidt, Yinglian Xie, Fang Yu, Martin Abadi

2013 ACM Workshop on Artificial Intelligence and Security | November 2013

Publication

Connected and Concerned: Variation in Parents’ Online Safety Concerns

danah boyd, Eszter Hargittai

Policy & Internet | October 2013

Security, privacy, & cryptography

Fait saillants