BT
rss
37:00
Development Follow 743 Followers

Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM

Interview with Adam Wick Follow 1 Followers on  Jan 08, 2016

Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.

Followers

Graham Lee on Application Security, Sandboxing on OS X, Mobile Application Development

Interview with Graham Lee Follow 0 Followers on  Aug 10, 2012

Graham Lee discusses how to design and write secure (mobile) applications, the concept of sandboxing in general and on OS X, Objective-C and Smalltalk, and much more.

BT