In die Hand-Held Portables der JEDI-Serie kann man theoretisch problemlos ein Cryptomodul einbauen. Das kann von DES, DES-XL über AES bis hin zu FASCINATOR alles sein. Dass es eine Karte für Verycrypt oder FS95 gibt, wäre mir neu - aber eventuell hat ja ein Fremdhersteller da was im Programm. Ich mach mich mal schlau.
Edit: Es gibt außerdem Module für DVP-XL und die Exportvariante DVI-XL, für die beiden bei den deutschen BOS offiziell eingesetzten Verfahren scheint nichts verfügbar zu sein. Ich tippe drauf, dass ein DES-XL drin ist, wie es auch der Verfassungsschutz auf 2m einsetzt.