Event · Bogotá, Colombia
Arepas, Cumbia & Security
An evening of talks and panels with some of the best security people in the ecosystem, and a celebration of Colombian culture with the food, music and dancing to match.
Cumbia House de Gaira
Cra. 13 #96-11, Bogotá
Monday, 10 October 2022
1:00pm - 9:00pm
Security & Colombian culture
Talks and panels, Colombian food and live music.
Bienvenidos a Colombia
At Runtime Verification, security is our core. We wanted an evening of talks and panels with some of the best security experts in the ecosystem, to discuss the problems every project is facing and what can realistically be done to mitigate them.
We also wanted to celebrate Colombian culture with all of you. And what better way than local food, arepas and empanadas, local fruit juices, traditional live music, and a show with Cumbia dancers?
That is what Arepas, Cumbia & Security was: an event to re-think security with speakers and the community, while discovering and enjoying Colombia, its people and its culture.
Agenda
- 1:00 PM - 2:00 PM
Food and drinks
- 2:00 PM
Talk: How to use Foundry's features to formally verify your code
Everett Hildenbrandt, CTO, Runtime Verification
- 2:35 PM
Talk: Modular blockchain architecture and its security properties
Yaz Khoury, Head of Developer Relations, Celestia
- 3:10 PM
Talk: Composable Bridges as an optimistic UTXO
Matt Shams, CEO, BlockSwap
- 3:45 PM
Panel: Security practices, opportunities, and limitations
Moderator: Everett Hildenbrandt, Runtime Verification. Participants: Alchemix Finance, 0xPolygon, ChainSafe, Sherlock
- 4:35 PM
Panel: Tooling and auditing
Moderator: Leo Alt, Ethereum Foundation. Participants: ConsenSys Diligence, OpenZeppelin, Hacken, Certora
- 5:25 PM
End of talks and panels
- 6:00 PM - 9:00 PM
Music, dance, drinks, food
Partners
Building something in the region that has to be secure?
Talk to our team