Select Language

Bahasa Indonesia

แบบไทย

Foundations: Security

What Is an Anti-Phishing Code?An anti-phishing code is a simple idea with a narrow job: give you a secret marker that legitimate account emails include, so fake ones are easier to spot

What Is an Anti-Phishing Code?An anti-phishing code is a simple idea with a narrow job: give you a secret marker that legitimate account emails include, so fake ones are easier to spot. It helps against exchange impersonation, but it is not magic — its value depends on what channel it covers, whether you actually check it, and how strong the platform’s email security is underneath.Mar 21, 202623 min read

What Is an Audit Trail?An audit trail is the difference between 'something happened' and 'we can reconstruct what happened, who did it, and whether the record can be trusted

What Is an Audit Trail?An audit trail is the difference between 'something happened' and 'we can reconstruct what happened, who did it, and whether the record can be trusted.' In security, that distinction matters during incidents, internal investigations, compliance reviews, and everyday operations where accountability has to survive mistakes and attacks.Mar 21, 202626 min read

What Is Address Poisoning?Address poisoning looks trivial at first: a scammer sends you a worthless transfer

What Is Address Poisoning?Address poisoning looks trivial at first: a scammer sends you a worthless transfer. The danger is not the transfer itself, but the false memory it plants in your wallet history, where a lookalike address can later be mistaken for a trusted recipient and turn a routine payment into an irreversible loss.Mar 21, 202622 min read

What is Formal Verification?Formal verification matters because some software failures are not just bugs — they are broken promises hidden inside systems that may hold money, control access, or enforce consensus

What is Formal Verification?Formal verification matters because some software failures are not just bugs — they are broken promises hidden inside systems that may hold money, control access, or enforce consensus. Instead of sampling behavior the way tests do, formal verification asks a stronger question: can we prove, mathematically, that the implementation obeys the properties we care about?Mar 21, 202626 min read