HILT 2013             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Panel: Approaches to Software Safety and Security

Panel Moderator: Alok Srivastava (TASC Inc.)

Panelists:

Robert Seacord
Ethan K. Jackson
Joe Hendrix
Francesco Logozzo
Suad Alagic

Abstract

Topics to be covered: Secure Coding, Use of Domain-Specific Languages, Integrating technologies for verification, Using contract-based programming tools, Automatic versus Interactive Program Verification.


Created on 29 May 2014;  website comments and corrections to ClydeRoby at ACM.Org