Under utveckling16 Aug 2017

9: Information security with Alejandro Russo and Haskell

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 is an associate professor at Chalmers University of Technology working on the intersection of functional languages, security, and systems. He is the recipient of a Google Research Awards and several grants from the Swedish research agencies Vetenskapsrådet, STINT, and Barbro Osher foundation. Internationally, Prof. Russo worked on prestigious research institutions
like Stanford University, where he was appointed visiting associate professor. His research ranges from foundational aspects of security to developing tools tosecure software written in Haskell, Python, and JavaScript.

Links

Alejandro Russo
Functional programming
BBS
Modem
Two Can Keep a Secret, If One of Them Uses Haskell - Alejandro's paper
ICFP 2015
Functional pearls
Haskell
Access control
Information-flow control
Side-effects
Haskell 98
Dependent-type languages
JSFlow - IFC for Javascript, created by people at Chalmers
People at Chalmers and Cornell creating Java compilers
GDPR - EU directive to strengthen data protection for individuals
Webassembly
Gradual typing
Buffer overflow
Dangling pointers
Fuzz testing
IEEE security and privacy conferences
ACMCCS
OSDI
SOSP
Pony
Rust
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!

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(32)

32: Maskininlärning med Johnny Dang och Erik Munkby

Johnny Dang och Erik Munkby från Jayway gästar podden och berättar för Fredrik om maskininlärning - hur det funkar, varför det blivit så populärt och inte minst var och hur man kan komma igång med omr...

12 Sep 201853min

31: Hur man utvecklas som anställd på Varvet

Fredrik hälsar på digitala byrån Varvet igen och pratar med Carl-Johan Kihlbom och Johan Halse om Varvets nya arbetsroller och ansvarsområden. Karriärslöken eller visdomslöken som ersätter det man bru...

28 Jun 201834min

30: Mer sökmotoroptimering med Linus Larsson

Linus Larsson gör återbesök och berättar mer om SEO. Denna gång fokuserar vi på saker som kanske inte är lika självklara för utvecklare som HTTP-statuskoder och robots.txt: Strukturerad data - sätt a...

7 Jun 201850min

29: Från programmerare till informationsrelä med Johan Thelin

Fredrik snackar med Johan Thelin, systemarkitekt på Luxoft, om att utvecklas som utvecklare längs spåret att bli mer av chef, organisatör, eller informationsrelä. Vi pratar om hur resan sett ut för Jo...

23 Mai 201835min

28: WebVR with Ayşegül Yönet

Recorded at Øredev 2017, Fredrik talks to Google developer expert Ayşegül Yönet about WebVR. What's available right now for VR on the web, which browsers and devices work well, where to find documenta...

9 Mai 201820min

27: React native med Erik Larkö

Fredrik frågar ut Erik Larkö om hur det är att använda React native för att bygga applikationer. React native är en lösning från Facebook som låter en skapa appar för (främst) IOS och Android med tänk...

25 Apr 201850min

26: Sökmotoroptimering med Linus Larsson

Fredrik snackar SEO - sökmotoroptimering - med Linus Larsson, agency director på Web guide partner. Linus delar in sitt arbetsområde i tre huvudsakliga delar: innehåll, länkar och tekniken i sig. Vi f...

11 Apr 201850min

25: Kontor med Patrik Arnesson

Fredrik besöker Forza football och pratar kontor med deras VD Patrik Arnesson. Forza har ett riktigt trevligt och välanvänt kontor som man lagt mycket tid på att planera, förändra och förbättra. Patri...

28 Mar 201835min