@tmaher@infosec.exchange @soatok@furry.engineer does it have generic types? if so i think you can potentially reduce asn.1 into a lambda calculus