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

hilt-2018-papers
15:30 - 17:00: HILT 2018 - III at Franklin
Chair(s): Peter ChapinVermont Technical College
hilt-2018-papers15:30 - 16:00
Short-paper
hilt-2018-papers16:00 - 16:30
Short-paper
Dara LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST
hilt-2018-papers16:30 - 16:55
Short-paper
Andrew BernsUniversity of Northern Iowa, James CurbowUniversity of Northern Iowa, Joshua HilliardUniversity of Northern Iowa, Sheriff JorkehUniversity of Northern Iowa, Miho SandersUniversity of Northern Iowa
hilt-2018-papers16:55 - 17:00
Social Event