What good is temporal logic? [pdf]

2023-01-06

IIS modules: The evolution of web shells and how to detect them

2022-12-12

Dev-0139 launches targeted attacks against the cryptocurrency industry

2022-12-06

Show HN: Zuplo – Programmable, Serverless API Management for Developers

2022-12-06

Why HTML is a strategic dead end for business transactions and e-commerce (1999)

2022-11-23

TLA+ Video Course (2021)

2022-11-20

Microsoft contributes S2C2F to OpenSSF to improve supply chain security

2022-11-16

Ask HN: Why is only apple.com like apple.com?

2022-11-13

Question: Would you handle spidering your website from AWS and Azure?

2022-11-09

Leslie Lamport: State the Problem Before Describing the Solution [pdf]

2022-10-28