A verified secure parser framework for F*.
