Verifying Rust cryptography in SymCrypt, from standards to code
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. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
More from the blog
How Hugging Face Inference Endpoints, Jobs, and Buckets Power Search on Papers with Code
How a medical database developed at MIT evolved into a global standard of data-sharing
The visionary PhysioNet platform launched 25 years ago, based on a system developed at MIT in the 1970s. It has become one of the most comprehensive biomedical and clinical data repositories in existence.
How novice coders can develop AI programs for military applications
A USAF cadet and a Lincoln Laboratory researcher found AI chatbots can help nontechnical service members produce viable software applications for their unique problems.
Related papers
Integration of molecular coarse-grained model into geometric representation learning framework for protein-protein complex property prediction
Structure-based machine learning algorithms have been utilized to predict the properties of protein-protein interaction (PPI) complexes, such as binding affinity, which is critical for understanding biological mechanisms and disease treatments. While most existing algorithms represent PPI complex graph structures at the atom-scale or residue-scale, these representations can be computationally expensive or may not sufficiently integrate finer chemical-plausible interaction details for improving predictions. Here, we introduce MCGLPPI, a novel geometric representation learning framework that combines graph neural networks (GNNs) with the MARTINI molecular coarse-grained (CG) model to predict overall PPI properties accurately and efficiently. This framework maps proteins onto a concise CG-scale complex graph, where nodes represent CG beads and edges encode chemically plausible interactions. The GNN-based encoder is tailored to extract high-quality representations from this graph, efficiently capturing the overall properties of the protein complex structure. Extensive experiments on three different downstream PPI property prediction tasks demonstrate that MCGLPPI achieves competitive performance compared with the counterparts at the atom- and residue-scale, but with only a third of the computational resource consumption. Furthermore, the CG-scale pre-training on protein domain-domain interaction structures enhances its predictive capabilities for PPI tasks. MCGLPPI offers an effective and efficient solution for PPI overall property predictions, serving as a promising tool for the large-scale analysis of biomolecular interactions.
PepPCBench is a Comprehensive Benchmarking Framework for Protein-Peptide Complex Structure Prediction
Accurate modeling of protein-peptide interactions is essential for understanding fundamental biological processes and designing peptide-based drugs. However, predicting the complex structures of these interactions remains challenging, primarily due to the high conformational flexibility of peptides. To support a fair and systematic evaluation of recent deep learning (DL) approaches, we introduce PepPCBench, a benchmarking framework tailored to assess protein folding neural networks (PFNNs) in protein-peptide complex prediction. As part of this framework, we curated PepPCSet, a data set of 261 experimentally resolved complexes with peptides ranging from 5 to 30 residues. We benchmark five full-atom PFNNs, including AlphaFold3 (AF3), AlphaFold-Multimer (AFM), Chai-1, HelixFold3 (HF3), and RoseTTAFold-All-Atom (RFAA), using comprehensive evaluation metrics. Our benchmarking reveals meaningful performance differences among these methods and highlights the influence of peptide length, conformational flexibility, and training set similarity on prediction accuracy. While AF3 shows strong performance in structure prediction, further analysis indicates that confidence metrics correlate poorly with experimental binding affinities, underscoring the need for improved scoring strategies and generalizability. By providing a reproducible and extensible framework, PepPCBench enables a robust evaluation of PFNN-based methods and supports their continued development for peptide-protein structure prediction.
DRHIN: An Integrated and Interactive Web Server for Drug Repositioning
Drug repositioning (DR) identifies new therapeutic uses for approved drugs, reducing development burdens and offering safer treatment options for patients. While high-throughput technologies generate complex, large-scale multiomics data, existing DR tools struggle to comprehensively analyze the resulting biological networks. To address this challenge, we present DRHIN, an integrated, interactive web server for DR over heterogeneous information networks (HINs) using advanced deep learning techniques. DRHIN integrates transcriptomics, proteomics, and microbiome data, incorporating eight biological entities and 19 association types to build diverse HINs and elucidate the underlying molecular mechanisms. It includes 19 state-of-the-art graph representation algorithms, enabling flexible training, comparison, and evaluation of heterogeneous network data. The platform provides a code-free portal supporting three key predictive tasks: discovering drug-disease associations, repurposing existing drugs for new indications, and identifying potential therapies for specific diseases, making analyses accessible and reproducible. Leveraging high-performance computing, DRHIN efficiently processes million-scale networks, ensuring practical applicability in real-world scenarios. The web server is freely accessible at http://drhin.tianshanzw.cn.
Q‐GEM: Quantum Chemistry Knowledge Fusion Geometry‐Enhanced Molecular Representation for Property Prediction
Recently, various self‐supervised learning (SSL) methods based on 3D graph neural networks (GNNs) have been developed to comprehensively represent the structural information of molecules in 3D space; this is essential for discovering new drugs. However, existing methods fail to comprehensively characterize the 3D structures of molecules and neglect the electronic structural information that significantly influences key properties such as molecular reactivity, strong electrostatic interactions, and chemical adsorption. Therefore, here, a novel molecular representation learning method is constructed, Q‐GEM, incorporating quantum and geometric structural information enhancement, based on the quantum chemical property database QuanDB and SSL methods. Q‐GEM comprises a GNN embedded with the molecular electronic and complete 3D geometrical structural information as well as several well‐designed multiscale SSL tasks, achieving superior absolute molecular conformation prediction and conformational discrimination. The Q‐GEM achieved state‐of‐the‐art performance in 12 out of 13 prediction tasks on the MoleculeNet dataset, with an average performance improvement of 3.3% and 2.0% for classification and regression prediction tasks, respectively. Moreover, an average performance improvement of 5.2% is achieved in three localized quantum chemical properties, fully demonstrating the excellent performance of Q‐GEM in distinguishing molecular electronic structures. The Q‐GEM represents a novel, powerful breakthrough for accurate molecular property prediction.