I recommend against ASN.1 as well. However, Galois Inc did a high-assurance implementation of a good chunk of it: http://www.ieee-stc.org/proceedings/2006/pdfs

I recommend against ASN.1 as well. However, Galois Inc did a high-assurance implementation of a good chunk of it: http://www.ieee-stc.org/proceedings/2006/pdfs/AA1414.pdf http://www.ieee-stc.org/proceedings/2006/pdfs/AA1414.pdf