Seminar of Theoretical Computer Science - Peter Perešíni (5.4.2019)

Friday 5.4.2019 at 11:00, room M/213

---

Peter Perešíni (VacuumLabs):
Paranoid coding & designing for auditability

Abstract:
Creating secure embedded applications is hard. In this talk I will go down the rabbit hole and explain to what ends we went while writing a Cardano cryptocurrency application for the Ledger hardware wallet. Apart from a bunch of useful tricks I hope to teach you one major thing -- that no matter what you think you aren't paranoid enough.

Speaker bio: Peter is a senior architect at VacuumLabs and a security hobbyist. His favorite motto is that if it ain't broken, you probably did not look enough.

web: https://beda.dcs.fmph.uniba.sk/seminar

---