Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 23

A blueprint for formal verification of Apple corecrypto

Comments

♡

security.apple.com cryptographyformalmethodsComments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 20

How we used Quint to find over 10 bugs in SQLite while hardening Turso

Comments

♡

turso.tech databasesformalmethodsComments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

Illegal vs Unwanted States

Comments

♡

buttondown.com formalmethodsComments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

"Why not just use Lean?"

Comments

♡

lawrencecpaulson.github.io formalmethodsComments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

Comments

♡

leodemoura.github.io securitycryptographyformalmethods

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

Lean proved this program was correct; then I found a bug

Comments

♡

kirancodes.me securityformalmethodsplt

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

TLA+ mental models

Comments

♡

muratbuffalo.blogspot.com formalmethodsComments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

Thinnings: Sublist Witnesses and de Bruijn Index Shift Clumping

Comments

♡

philipzucker.com formalmethodspltComments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

When AI Writes the World's Software, Who Verifies It?

Comments

♡

leodemoura.github.io formalmethodsvibecodinglogiclangs

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match

Comments

♡

ntaylor.ca formalmethodspltComments

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

Proof-oriented Programming in F*

Comments

♡

fstar-lang.org bookformalmethodsplt

Lobsters [Unofficial] @lobste.rs.web.brid.gy

May 2

On the Promises of 'High-Assurance' Cryptography

Comments

♡

symbolic.software cryptographyformalmethodsComments