Under utveckling16 Elo 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!

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(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 Syys 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 Kesä 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 Kesä 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 Touko 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 Touko 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 Huhti 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 Huhti 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 Maalis 201835min