A blog about programming and security

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Tags

Tags

Tags

Artificial Intelligence1

Binary Analysis2

Patch Verification2

Reinforcement Learning1

Security Policy1

Software Security2

Software Supply Chain1

Recently Updated

Paper Reading: PS^3 — Patch Semantic Symbolic Signatures
Paper Reading: FIBER — Finding Binaries for Patch Verification
CHPC Security Assessment: Policies, Controls, and Gaps
Behavioral Cloning and Interactive Imitation Learning
Empirical Analysis of Binary Obfuscations [Working]

Trending Tags

Binary Analysis Patch Verification Software Security Agentic RL Artificial Intelligence HPC LLM Reinforcement Learning Security Policy Software Supply Chain

© 2026 Mark Ren. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

Binary Analysis Patch Verification Software Security Agentic RL Artificial Intelligence HPC LLM Reinforcement Learning Security Policy Software Supply Chain

A new version of content is available.