Security Blog
Technical explainers and comparison articles on Windows security, published by the MIKAGE developer based on real development and testing experience.
What Is a CVE? Famous Vulnerabilities: Log4Shell, Heartbleed, EternalBlue, XZ Utils
From CVE vs. CVSS vs. CWE to how four historic vulnerabilities worked — with the attack flow and lessons.
Formalizing Software Vulnerabilities with Mathematics: From ∀x S(P(x)) to Formal Verification
What "no vulnerabilities" looks like as a formula, the undecidability wall, and the main verification methods.
What Are YARA Rules? How Malware Detection Works — and Where It Fails
A real incident from running 19,000+ rules in production: how an overly broad rule triggered false positives.
Windows Defender vs. Third-Party Antivirus
What to look at when comparing the built-in Defender with additional software.
How File Tamper Detection Works
How Windows' file system change notifications work, and how EDR tools use them.
How to Check Your Home Network for Vulnerabilities
What CVEs and the KEV catalog are, and why home routers get targeted.
What Is Windows Antivirus Software?
Free vs. paid vs. one-time-purchase, and the basics of how to choose.
A Windows 10/11 Security Checklist
How to think about combining protection for your PC, your files, and your network.
What Is the OSI Model? Layer-by-Layer Security and How It Maps to TCP/IP
The threats and defenses at each of the 7 OSI layers, with a mapping table to the 4-layer TCP/IP model.
What Is Encryption Strength? How TLS Works, and the Computational Cost of DH, ECC, RSA, and Lattice Cryptography
What encryption strength really means beyond key length, and why the progress of algorithm research is the biggest risk of all.
The Deep Math of Elliptic Curve Cryptography: Deriving the Group Law from the Riemann-Roch Theorem
The relationship between the divisor class group and the Riemann-Roch theorem behind ECC's geometric addition law.
Number Theory and Elliptic Curves: The ABC Conjecture, Szpiro's Conjecture, and Their Relation to Cryptography
Why the ABC conjecture and Szpiro's conjecture connect through the Frey curve.
What Are Quantum Cryptanalysis Algorithms? Shor's Algorithm and Where Lattice Cryptography Stands Today
What quantum computers have already broken in theory, and what they haven't.
What Is Quantum Communication? BB84 vs. Entanglement Distribution, and Toshiba's Development History
The difference between two approaches to quantum key distribution, and the entanglement swapping mechanism that makes quantum repeaters possible.
What Is Quantum Internet Security? Threats and Defenses in Quantum Communication Infrastructure, Layer by Layer
Why quantizing key distribution alone doesn't make the quantum internet safe.
What Is a Quantum Computer? Fault-Tolerant Quantum Computation and Where Each Company Stands
Why physical qubits can't be used as-is. A rundown of error correction and each company's implementation approach and latest developments.
What Is Grover's Algorithm? From a 2-Qubit Model to the General Case
Why the 2-qubit case finds the answer in exactly one iteration. Generalizing the idea of amplitude amplification.
Quantum Information Basics: The No-Cloning Theorem, Tensor Products, and Density Matrix Diagonal Elements
Why does the result of a quantum computation always come from the diagonal elements of the density matrix?
Semiconductor Fundamentals: From CMOS Design to Wafers, Oxidation, Lithography, and Doping
Laying out the process flow — repeated dozens of times — behind the completion of a single transistor.
Why Did Japan's National AI Project Fail? Lessons from the Fifth Generation Computer Systems Project
A ¥54-billion national project met most of its technical goals and left almost no industrial legacy. Here's what actually happened.
The Paradox of Japan's Cybersecurity Regulation
The Unauthorized Access Act, the Active Cyber Defense law, and the RISS credential — where "institutional depth" and "operational depth" drift apart.
VPNs, Anonymization Technology, and Cryptocurrency Crime
Why the "same tool, different user" structure makes regulating anonymity technology so hard, grounded in real figures and enforcement cases.
Dual-Use Technology and Engineering Ethics
The skill that fixes a bug and the skill that exploits it are the same skill. If technology carries no moral valence, what does the branching?
Rust as a National Security Language
The White House, NSA, and CISA all say "move to memory-safe languages." What's established fact, and where expectation takes over.
Why Has the US Delegated Cybersecurity to the Private Sector?
A factual survey of real policy documents, followed by explicitly-labeled speculation on next-generation domains.
The Hidden Risks Around BTC and Stablecoins
Hash function collision history, what Bitcoin's cryptography actually is, the Snowden disclosures, and real stablecoin depegging events.
What Is VLSI? Circuit Verification and Layout Algorithms
The complexity of circuit equivalence checking, Euler-path transistor placement, and interval-graph channel routing, explained.
What Is a Quantum Circuit? The Wire Model and Basic Gates
Quantum gates explained through operator algebra, linear algebra, and dual vector spaces.
What Is Joux's Weil Pairing Key Exchange?
One-round tripartite key exchange via bilinear forms and distortion maps, and why pairings solve the DDH problem.