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

현재 선택 항목

정렬 기준: 가장 최근 순

선택 해제

이 결과 내에서 검색

콘텐츠 유형

게시 날짜 표시

출판

Secure Featurization and Applications to Secure Phishing Detection

Akash Shah, Nishanth Chandran, Divya Gupta, Mesfin Dema, Arun Gururajan, Huan Yu

CCSW 2021: The ACM Cloud Computing Security Workshop | October 2021

프로젝트

동영상

USENIX ATC ’20 – Reverse Debugging of Kernel Failures in Deployed Systems

September 28, 2021 | Xinyang Ge

Reverse Debugging of Kernel Failures in Deployed Systems

15:46

출판

TAG: Gradient Attack on Transformer-based Language Models

Jieren Deng, Yijue Wang, Ji Li, Chao Shang, Hang Liu, Sanguthevar Rajasekaran, Caiwen Ding

Empirical Methods in Natural Language Processing | September 2021

출판

Link prediction in dynamic networks using random dot product graphs

Francesco Sanna Passino, Anna S. Bertiger, Joshua Neil, Nicholas A. Heard

Data Mining and Knowledge Discovery | September 2021, 제 5 권(2021)

출판

The Impact of Algorithmic Risk Assessments on Human Predictions and its Analysis via Crowdsourcing Studies

Riccardo Fogliato, Alex Chouldechova, Zachary Lipton

ACM on Human-Computer Interaction | September 2021

출판

Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns

Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang

The 40th International Symposium on Reliable Distributed Systems (SRDS) | September 2021

출판

Trust as a Programming Primitive – PhD Thesis

Adrien Ghosn

September 2021

박사학위논문: EPFL | September 2021

출판

Side-Channel Protections for Picnic Signatures

Diego F. Aranha, Sebastian Berndt, Thomas Eisenbarth, Okan Seker, Akira Takahashi, Luca Wilke, Greg Zaverucha

CHES 2021 | September 2021

프로젝트

출판

MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications

Itai Dinur, Steven Goldfeder, Tzipora Halevi, Yuval Ishai, Mahimna Kelkar, Vivek Sharma, Greg Zaverucha

CRYPTO 2021 | August 2021

프로젝트

출판

Leveraging Tripartite Interaction Information from Live Stream E-Commerce for Improving Product Recommendation

Sanshi Yu, Zhuoxuan Jiang, Dong-Dong Chen, Shanshan Feng, Dongsheng Li, Qi Liu, Jinfeng Yi

KDD 2021 | August 2021

Security, privacy, & cryptography

하이라이트