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

현재 선택 항목

정렬 기준: 가장 최근 순

선택 해제

이 결과 내에서 검색

콘텐츠 유형

게시 날짜 표시

출판

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

출판

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

프로젝트

출판

A New Hash and Sign Approach and Structure-Preserving Signatures from DLIN

Melissa Chase, Markulf Kohlweiss

Security and Cryptography for Networks (SCN) 2012 | September 2012

Security and Cryptography for Networks (SCN)

출판

Investigating Receptiveness to Sensing and Inference in the Home Using Sensor Proxies

Eun Kyoung Choe, Sunny Consolvo, Jaeyeon Jung, Beverly Harrison, Shwetak Patel, Julie Kientz

September 2012

Best Paper Nominee

출판

Progressive authentication: deciding when to authenticate on mobile phones

Oriana Riva, Chuan Qin, Karin Strauss, Dimitrios Lymberopoulos

21st USENIX Security Symposium | August 2012

출판

STEALTHMEM: System-Level Protection Against Cache-Based Side Channel Attacks in the Cloud

Taesoo Kim, Marcus Peinado, Gloria Mainar-Ruiz

Proceedings of the 21st USENIX Security Symposium | August 2012

ISBN: 978-931971-95-9

출판

FPGAs for Trusted Cloud Computing

Ken Eguro, Ramarathnam Venkatesan

International Conference on Field-Programmable Logic and Applications | August 2012

출판

Clickjacking: Attacks and Defenses

Lin-Shung Huang, Alex Moshchuk, Helen Wang, Stuart Schechter, Collin Jackson

Proceedings of the 21st USENIX Security Symposium | August 2012

출판

Diï¬”erential Privacy with Imperfect Randomness

Yevgeniy Dodis, Adriana Lopez-Alt, Ilya Mironov, Salil Vadhan

Advances in Cryptology—CRYPTO’12 | August 2012

Security, privacy, & cryptography

하이라이트