Verbatim: A Verified Lexer Generator

Egolf, Derek R.


  • Lexers and parsers are often used as front ends to connect input from the outside world with the internals of a larger software system. These front ends are natural targets for attackers who wish to compromise the larger system. A formally verified tool that performs mechanized lexical analysis would render attacks on these front ends less effective.In this paper we present Verbatim, an executable ... read more
This object is in collection Creator department Thesis Type Subject Genre Permanent URL
To Cite:
TARC Citation Guide    EndNote
Detailed Rights