Ilina Stoilkovska, Igor Konnov, Josef Widder, and Florian Zuleger. “Eliminating Message Counters in Threshold Automata,” To appear at ATVA 2020. (Link coming soon)
Informal’s CEO Ethan Buchman was featured in a podcaset for Fintech Impact discussing the genesis of Cosmos and his role in building out the ecosystem.
Igor Konnov, Principal Scientist at Informal Systems, is the co-chair of CONCUR 2020, during QONFEST, a leading conference for formal verification enthusiasts.
Informal is a Gold Sponsor for this year’s RustConf2020. We are big fans of Rust, and have ongoing Rust projects including the Tendermint protocol and the InterBlockchain Communication (IBC) Protocol.
AT FMBC, the 2nd Workshop on Formal Methods for Blockchains, we presented a paper titled, “Formal Specifications and Model Checking of the Tendermint Blockchain Synchronization Protocol”. In this presentation, Chief Scientist, Zarko Milosevic, gives a great overview of the paper.
Ethan Buchman, CEO at Informal Systems, discusses how in its current form, decentralized finance (DeFi) carries some inherent risk to average users.
Ethan Buchman, CEO at Informal Systems, joined Hashing It Out to discuss Informal’s unique approach to formal verification of reliable distributed systems. He reflects on some of the fundamental security challenges with building protocols, including Tendermint in Go.
Sean Braithwaite, CTO at Informal Systems, presented on the “Essentialism of Light Clients”. He discussed Informal’s work on building out the Tendermint Light Client in Rust. You can watch Sean Braithwaite’s presentation on the Tendermint Light Client here (starting at 3:33:12).
In this op-ed, Informal CEO Ethan Buchman, discusses how open technological infrastructure would enable a sustainable monetary system to flourish.
As part of his PhD thesis at EPFL, Informal Research Engineer, Adi Seredinschi, had his work presented at the 2020 International Conference on Dependable Systems and Networks. His research explored efficient solutions for online payments, titled “Online Payments by Merely Broadcasting Messages.
DISCOTEC is an academic conference on Distributed Computing Techniques. Principal Scientist, Igor Konnov, gave a tutorial on the Byzantine Model Checker.
The Inter-Blockchain Communication protocol, Tendermint Core, and the Cosmos SDK serve as the foundational building blocks for a successful interoperable blockchain ecosystem. Read more on the latest organizations joining the ranks of Cosmos community leaders and the recent grants from the Interchain Foundation.
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, and Josef Widder. “Tutorial: Parameterized Verification with Byzantine Model Checker,” in FORTE, pages 189–207, 2020. Source here
Informal CEO, Ethan Buchman, presented a technical progress update and roadmap for Cosmos and an update on InterChain Foundation treasury management.
Informal hosted a webinar alongside Penrose Partners on the topic of the Past, Present and Future of the Financial Systems: Enabling transformations with blockchains. The webinar focused on how macro events like COVID-19 accelerate the transformation of the global financial system. You can watch the webinar on Informal Systems’ Youtube channel here.
Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Matteo Monti, Athanasios Xygkis, Matej Pavlovic, Petr Kuznetsov, Yvonne-Anne Pig- nolet, Dragos-Adrian Seredinschi, and Andrei Tonkikh. “Online Payments by Merely Broadcasting Messages,” in DSN, 2020. Source here
Informal’s CEO Ethan Buchman was featured in Crypto Briefing discussing Informal Systems and our slow and steady open-source philosophy. He discusses how the traditional “move fast and break things” mentality is catching up to us in the context of growth and data privacy.
Ethan Buchman, CEO of Informal Systems, did an interview with NASDAQ discussing Cosmos, local currencies, Proof of Stake, and the future of finance.
Nathalie Bertrand, Igor Konnov, Marijana Lazi ́c, and Josef Widder. “Verification of randomized consensus algorithms under round-rigid adver- saries,” Invited Submission to International Journal on Software Tools for Technology Transfer. Source here.
© 2020 Informal Systems Inc. All rights reserved.
