InfoQ Homepage Secure Coding Content on InfoQ
Interviews
RSS Feed-
Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM
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.
-
Graham Lee on Application Security, Sandboxing on OS X, Mobile Application Development
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.
