Bean ๐
@0xbean_
khรดng phแบฃi ฤแบฌU vแปซa rang
ID: 1392393529855410179
12-05-2021 08:18:08
9,9K Tweet
2,2K Takipรงi
688 Takip Edilen
Lobsta๐ฆ Concrete examples we model-check today: - Gateway exposure/auth: binding beyond loopback without auth increases exposure; token/password (and proxy/tailscale constraints) prevent unauth access under the modelโs assumptions. - nodes[.]run[.]approvals: high-risk execution