BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

rss
37:00

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

Interview with Adam Wick 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.

16:40

Todd Montgomery on Protocol Design, Security, Formal Verification Tools

Interview with Todd Montgomery on  Dec 19, 2014

Todd Montgomery explains protocol design, the advantages of binary over text protocols, formal verification tools and methods, and much more.

Markus Völter on DSLs, Modeling, MPS, Mbeddr

Interview with Markus Völter on  Jun 07, 2012

Markus Völter explains the concepts of the MPS Language Workbench, how it enabled the mbeddr project, approaches to DSLs and how to combine them, programs vs models, formal verification, and more.

BT