Ninjastic
Home
Search
Users
Boards
Addresses
Ctrl + K
Toggle theme
Open menu
Post
Edited versions
Quotes to this post
Post
15876619
Topic
1579310
Board
Announcements (Altcoins)
Re: ANN [Kripke] Provably secure contracts; functional language; on-chain encryption
by
KripkeSecure
on
10/08/2016, 09:43:39 UTC
Unclearly written, but relevant:
https://steemit.com/security/@dana-edwards/abstract-interpretation-and-how-to-write-secure-software