The IRONSIDES Project: Final Report. Academic Article uri icon


  • In a project intended to improve the security of internet software, the authors developed IRONSIDES: A DNS server written in Ada/SPARK. Our long-term goals were a) to show that a fully functional component of the internet software suite could be written with provably better security properties than existing alternatives, b) to show that it could be done within the relatively modest re-sources available for a research project at an undergraduate university, c) to determine the suitability of Ada/SPARK for such a project, and d) to compare the performance of the resulting software to existing alternatives and determine to what extent, if any, the addition of provable security properties affects performance. We report our conclusions from this multi-year project. [ABSTRACT FROM AUTHOR]

published proceedings

  • Ada User Journal

author list (cited authors)

  • Fagin, B. S., & Carlisle, M. C.

complete list of authors

  • Fagin, BS||Carlisle, MC

publication date

  • September 2018