Systems” focuses on finding new approaches to building predictably
secure systems. These approaches include use of formal methods
and other promising techniques for composing secure systems from
trustworthy components.