Serious privacy/security concerns raised about Portpass vaccine verification app

2021-09-27

Ask HN: Who uses grsecurity's Linux patches?

2021-09-24

AWS SIGv4 and SIGv4A – How AWS signs and verifies API requests

2021-09-23

Introduction to Neural Network Verification [pdf]

2021-09-23

Scaling Ad Verification with Machine Learning and AWS Inferentia

2021-09-23

Smart Health Card Verifier

2021-09-22

Security researcher penalised $3750 by Facebook for verifying vulnerability

2021-09-22

Apple: Verifiable Health Records Updates

2021-09-22

Ask HN: Is the formal methods winter about to end?

2021-09-18

By default, PostgreSQL will not perform verification of the server certificate

2021-09-18