BT

Your opinion matters! Please fill in the InfoQ Survey!

rss
37:00
Development Follow 178 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.

16:40
Followers

Todd Montgomery on Protocol Design, Security, Formal Verification Tools

Interview with Todd Montgomery Follow 3 Followers on  Dec 19, 2014

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

Followers

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

Interview with Markus Völter Follow 0 Followers 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.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT