Microsoft Research July 13, 2026 By Son Ho, Cédric Fournet, Antoine Delignat-Lavaud, Samuel Lee, Jason Fisher, Jessica Krynitsky

Verifying Rust cryptography in SymCrypt, from standards to code

Read the original on Microsoft Research →

Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at Microsoft Research.

arXiv Machine Learning

Jul 13

Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning

arXiv:2211. 00111v3 Announce Type: replace-cross Abstract: Rust, as an emerging system programming language, introduces $\texttt{unsafe}$ to allow developers to bypass safety checks during compilation.

By Xiang Cheng, Sangdon Park, HyungSeok Han, Xiaokuan Zhang, Taesoo Kim

llms benchmarks safety

arXiv AI

Aug 18

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought

arXiv:2603. 18334v2 Announce Type: replace-cross Abstract: As Large Language Models (LLMs) increasingly assist secure software development, their ability to meet the rigorous demands of Rust program verification remains unclear.

By Zichen Xie, Wenxi Wang

llms benchmarks

Towards Data Science

Jun 1

Ensuring Data Integrity with Cryptographic Hashing and the Ethereum Blockchain

Applying blockchain primitives to dataset versioning, provenance, and integrity assurance The post Ensuring Data Integrity with Cryptographic Hashing and the Ethereum Blockchain appeared first on Towards Data Science .

By Sam Black

arXiv AI

Jun 24

Cryptographic certificates of validity for trustworthy AI

arXiv:2606. 23768v1 Announce Type: cross Abstract: We propose cryptographic certificates of validity for agentic AI systems.

By Murdoch J. Gabbay

agents

arXiv Machine Learning

Aug 12

Robust and Secure Code Watermarking for Large Language Models via ML/Crypto Codesign

arXiv:2502. 02068v3 Announce Type: replace-cross Abstract: This paper introduces RoSeMary, the first-of-its-kind ML/Crypto codesign watermarking framework that regulates LLM-generated code to avoid intellectual property rights violations and inappropriate misuse in software development.

By Ruisi Zhang, Neusha Javidnia, Nojan Sheybani, Farinaz Koushanfar

llms

arXiv AI

Jul 7

RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities

arXiv:2607. 04729v1 Announce Type: cross Abstract: LLM agents are increasingly applied to vulnerability analysis, but existing benchmarks have not kept pace.

By Tarek Elsayed, Shiping Yang, Eunsong Koh, Sanika Goyal, Vincent Huang, Paul Ngo, Nathan Young, Mohammad Omidvar Tehrani, Alvyn Kang, Arnell Kang, Zeyu Chen, Ang\'elica Moreira, Xuan Feng, Angel X. Chang, Nick Sumner, Steven Y. Ko

llms agents benchmarks safety

One email a morning, machine-written

Related stories

Ruby: Unmasking Unsafe Rust in Stripped Binaries via Machine Learning

Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought

Ensuring Data Integrity with Cryptographic Hashing and the Ethereum Blockchain

Cryptographic certificates of validity for trustworthy AI

Robust and Secure Code Watermarking for Large Language Models via ML/Crypto Codesign

RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities