InfoQ Homepage Security Development Lifecycle Content on InfoQ
Interviews
RSS Feed-
Aaron Bedra on Security Testing as Software Engineering
Aaron Bedra talks about property-based testing, BDD-inspired security framework, and how security teams should include developers and be part of the development lifecycle.
-
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.
