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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

发布日期

论文与出版物

Populated IP Addresses: Classification and Applications

Chi-Yao Hong, Fang Yu, Yinglian Xie

ACM Conference on Computer and Communications Security (CCS) | October 2012

ACM Conference on Computer and Communications Security (CCS)

论文与出版物

On Significance of the Least Significant Bits For Differential Privacy

Ilya Mironov

October 2012

论文与出版物

Closing the Pandora’s box: Defenses for thwarting epidemic outbreaks in mobile adhoc networks

Rahul Potharaju, Endadul Hoque, Cristina Nita-Rotuaru

2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012) | October 2012

论文与出版物

Collaborative TCP Sequence Number Inference Attack: How to Crack Sequence Number Under A Second

Yinglian Xie

ACM Conference on Computer and Communications Security (CCS) | October 2012

论文与出版物

Innocent by Association: Early Recognition of Legitimate Users

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

ACM Conference on Computer and Communications Security (CCS) | October 2012

ACM Conference on Computer and Communications Security (CCS)

论文与出版物

Using probabilistic generative models for ranking risks of Android apps

Hao Peng, Chris Gates, Bhaskar Sarma, Ninghui Li, Yuan Qi, Rahul Potharaju, Cristina Nita-Rotuaru, Ian Molloy

(CCS ’12) Proceedings of the 2012 ACM conference on Computer and communications security | October 2012

论文与出版物

Short paper: Enhancing Mobile Application Permissions with Runtime Feedback and Constraints

Jaeyeon Jung, Seungyeop Han, David Wetherall

ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices | October 2012

论文与出版物

Knowing Your Enemy: Understanding and Detecting Malicious Web Advertising

Zhou Li, Kehuan Zhang, Yinglian Xie, Fang Yu, XiaoFeng Wang

ACM Conference on Computer and Communications Security (CCS) | October 2012

论文与出版物

Scalable Telemetry Classification for Automated Malware Detection

Jack W. Stokes, John Platt, Helen Wang, Joe Faulhaber, Mady Marinescu, Anil Thomas, Marius Gheorghescu

Proceedings of European Symposium on Research in Computer Security (ESORICS2012) | September 2012

项目

论文与出版物

Using File Relationships in Malware Classification

Nikos Karampatziakis, Jack W. Stokes, Anil Thomas, Mady Marinescu

Proceedings of Conference on Detection of Intrusions and Malware & Vulnerability Assessment | September 2012

Proceedings of Conference on Detection of Intrusions and Malware & Vulnerability Assessment

项目

Security, privacy, & cryptography

高亮