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

Événement

Developing Secure Systems Summit – Online Seminar Series: Fall 2020

December 16, 2020 | Virtual/Online

The Developing Secure Systems Summit (DS3) is meant to be an inclusive event, building on several existing communities to forge its identity. On the one hand, we aim to reach out to the security research…

illustration lines at different angles with intersection points representing connected network systems

Publication

An Attack on Some Signature Schemes Constructed from Five-Pass Identification Schemes

Daniel Kales, Greg Zaverucha

CANS 2020, Conference on Cryptology and Network Security | December 2020

Best paper award

Projet Projet

Publication

Detection of Malicious Android Applications: Classical Machine Learning vs. Deep Neural Network Integrated with Clustering

Hemant Rathore, Sanjay K. Sahay, Shivin Thukral, Mohit Sewak

Broadband Communications, Networks and Systems | December 2020

Publication

Cryptanalysis of LowMC instances using single plaintext/ciphertext pair

Betül Durak, Subhadeep Banik, Khashayar Barooti, Serge Vaudenay

FAST | December 2020

Best Paper Award

Publication

Identification of Significant Permissions for Efficient Android Malware Detection

Hemant Rathore, Sanjay K. Sahay, Ritvik Rajvanshi, Mohit Sewak

Broadband Communications, Networks and Systems | December 2020

Vidéo

Trustworthy Machine Learning: Past, Present, and Future

December 9, 2020 | Somesh Jha

For the fourth session of the Developing Secure Systems Summit Online Seminar Series, Somesh Jha talked about Trustworthy Machine Learning: Past, Present and Future.

01:41:13

Publication

UnMask: Adversarial Detection and Defense Through Robust Feature Alignment

Scott Freitas, Shang-Tse Chen, Zijie J. Wang, Duen Horng (Polo) Chau

International Conference on Big Data | December 2020

Vidéo

De-Identifying Healthcare Data for Research

December 8, 2020 | Ranvijay Kumar

In order to meet HIPAA privacy guidelines for secondary use such as research and analytics, the healthcare data needs to be de-identified. HIPAA defines Protected Health Information (PHI) and proposes two methods for de-identifying data.…

45:48

Publication

Secret-Shared Shuffle

Melissa Chase, Esha Ghosh, Oxana Poburinnaya

Asiacrypt 2020 | December 2020

Publication

CAPS: Smoothly Transitioning to a More Resilient Web PKI

Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul van Oorschot, Bryan Parno

Annual Computer Security Applications Conference (ACSAC) | December 2020

Security, privacy, & cryptography

Fait saillants