Manage episode 185133500 series 1448779
This episode is presented in English!
Fredrik speaks to Alejandro Russo about information security. Using Haskell, it is possible to create a library which can guarantee information security even when information (say, your password to a library checking password strength) is passed on to third-party code. We discuss Alejandro’s paper on this topic and the much wider applicability and possibilities of the ideas - they’re hopefully making their way into browsers!
We also talk a bit about how to inform yourself about security (and what not to do), as well as discuss the flow of knowledge between academia and non-academia.
- Alejandro Russo
- Functional programming
- Two Can Keep a Secret, If One of Them Uses Haskell - Alejandro’s paper
- ICFP 2015
- Functional pearls
- Access control
- Information-flow control
- Haskell 98
- Dependent-type languages
- People at Chalmers and Cornell creating Java compilers
- GDPR - EU directive to strengthen data protection for individuals
- Gradual typing
- Buffer overflow
- Dangling pointers
- Fuzz testing
- IEEE security and privacy conferences
- Data race
- Linear types
- Affine types
- There is code written in Rust inside Firefox since August 2016
- COWL - Confinement with origin web labels
- Drop Alejandro a line!
Under utveckling is a podcast by and for developers, created in sunny (cough) Gothenburg by us at TimeEdit. We would love your feedback on the topics we discuss! We are on Twitter as @uupodden and at Facebook as Under utveckling. If you enjoy the podcast we’d love a rating and review in iTunes!