Review

9

/mubench/mubench.pipeline/../checkouts/jmrtd/51/original-src/sos/mrtd/PassportService.java

readAAPublicKey()

class PassportService {
   public PublicKey readAAPublicKey() throws IOException, GeneralSecurityException {
      byte[] file = service.readFile(PassportFileService.EF_DG15);
      BERTLVObject fileObj = BERTLVObject.getInstance(new ByteArrayInputStream(file));
      X509EncodedKeySpec pubKeySpec = new X509EncodedKeySpec(fileObj.getValueAsBytes());
      return factory.generatePublic(pubKeySpec);
   }

}