Mon 5 Nov 2018 16:30 - 16:55 at Franklin - III Chair(s): Peter Chapin

Computers are nearly ubiquitous in modern society with uses from maintaining friendships and monitoring homes to managing money and coordinating health care. As the roles of a computer continue to expand, so to does the threat posed by cyberattacks. An important challenge for today’s software engineers is to build secure software and help neutralize these threats. Formal methods have long been suggested as an excellent way to build secure software but have not been widely adopted for this purpose. The ``conventional wisdom'' has suggested several reasons for this slow adoption, including a steep learning curve, difficulty in augmenting existing systems, and lack of tools with security-specific abstractions. Our hypothesis, however, is that applying a small and easy to learn subset of the techniques available today could significantly decrease software vulnerabilities and reduce the risk of cyberattacks. In this paper, we discuss the motivation for our hypothesis and discuss our ongoing experiment to test it.

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00
IIIHILT at Franklin
Chair(s): Peter Chapin Vermont Technical College
SPARK by Example: an introduction to formal verification through the standard C++ library
Léo Creuse ISAE, Joffrey Huguet ISAE, P: Christophe Garion ISAE-SUPAERO, Jerome Hugues ISAE
Soundness of a Dataflow Analysis for Memory Monitoring
P: Dara Ly CEA LIST, Nikolai Kosmatov CEA List, Frederic Loulergue Northern Arizona University, Julien Signoles CEA LIST
Minimal Specifications for Detecting Security Vulnerabilities
P: Andrew Berns University of Northern Iowa, James Curbow University of Northern Iowa, Joshua Hilliard University of Northern Iowa, Sheriff Jorkeh University of Northern Iowa, Miho Sanders University of Northern Iowa
Social Event
6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM