View profile

Runtime Verification Newsletter - Issue #6

Runtime Verification  Newsletter
Runtime Verification Newsletter - Issue #6
Hi everyone! In this issue, we are bringing all the updates and news from Runtime Verification for the month of September. 
If you enjoy this newsletter, share it with your friends and don’t forget to join us in Discord!

Runtime Verification Audits Tinyman
We are thrilled to announce Tinyman‘s audit completion and the publication of the official report and a dedicated blog post. Tinyman is a permissionless and trustless trading protocol built on the Algorand Blockchain.
Going to Lisbon? See you there!
Some members of our team will be going to Lisbon to attend Liscon, Ethlisbon, and some side events, and of course, to enjoy some Mediterranean food and wine. If you are going to be in Lisbon too, follow us on Twitter, come to our discord and let us know!
Formal Verification in the Ethereum Ecosystem Event
Get ready for next November 16th for our first online event of the year: Formal Verification in the Ethereum Ecosystem. The event will cover the essential aspects of formal verification, different languages, tools, approaches, and methods applied by key players in the ecosystem.
You can already register for free at our Crowdcast page
Privacy and Security in DeFi at Harmony Hackathon
The panel discussion about Privacy and Security in DeFi, part of Harmony’s Hackathon: Bridging TradFi to DeFi, is already available. Stephen Tse, the founder of Harmony, hosted the session together with Drew Stone from Webb Protocol, Everett Hildenbrandt from Runtime Verification, and Dionysis Zindros from the University of Athens. 
Did you enjoy this issue?
Runtime Verification  Newsletter

Monthly updates about Runtime Verification and K Framework.

In order to unsubscribe, click here.
If you were forwarded this newsletter and you like it, you can subscribe here.
Powered by Revue