Karl G. Kempf

62 papers A* 4A 3C 5Misc 13Journal 31Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
IEEE Access
Bing Hu, Karl G. Kempf, A. Nicholas Mason
2024 J jnl
INFORMS J. Appl. Anal.
A. Nicholas Mason, Rachel A. Rosenberg, Evan Rash, Karl G. Kempf
2023 conf
HICSS
Rahul C. Basole, Dieter Armbruster, Nicholaus Cortez, Brandon Barnett, Farzin G. Guilak, Karl G. Kempf
2023 Misc conf
WSC
Carlos Leca, Reha Uzsoy, Karl G. Kempf
2022 J jnl
Decis. Sci.
Siddhartha Sampath, Esma Senturk Gel, Karl G. Kempf, John W. Fowler
2022 J jnl
INFORMS J. Comput.
Rahman Khorramfar, Osman Y. Özaltin, Karl G. Kempf, Reha Uzsoy
2022 Misc conf
WSC
Carlos Leca, Edward P. Fitts, Karl G. Kempf, Reha Uzsoy
2021 Misc conf
WSC
Carlos Leca, Karl G. Kempf, Reha Uzsoy
2021 J jnl
INFORMS J. Appl. Anal.
John Heiney, Ryan Lovrien, A. Nicholas Mason, Irfan M. Ovacik, Evan Rash, Nandini Sarkar, Harry Travis, Zhenying Zhao, Kalani Ching, Shamin A. Shirodkar, Karl G. Kempf
2020 J jnl
IISE Trans.
Ankit Bansal, Reha Uzsoy, Karl G. Kempf
2019 J jnl
INFORMS J. Appl. Anal.
Matthew P. Manary, Brian Wieland, Sean P. Willems, Karl G. Kempf
2019 J jnl
Manuf. Serv. Oper. Manag.
Hongmin Li, Scott Webster, A. Nicholas Mason, Karl G. Kempf
2018 J jnl
Int. J. Prod. Res.
Tülin Inkaya, Dieter Armbruster, Hongmin Li, Karl G. Kempf
2016 Misc conf
WSC
Erinç Albey, Reha Uzsoy, Karl G. Kempf
2016 Misc conf
WSC
Atchyuta Bharadwaj Manda, Reha Uzsoy, Karl G. Kempf, Sukgon Kim
2015 J jnl
Interfaces
Siddhartha Sampath, Esma Senturk Gel, John W. Fowler, Karl G. Kempf
2015 J jnl
Comput. Oper. Res.
Junzilan Cheng, John W. Fowler, Karl G. Kempf, Scott J. Mason
2014 J jnl
Expert Syst. Appl.
Jesús Emeterio Navarro-Barrientos, Dieter Armbruster, Hongmin Li, Morgan Dempsey, Karl G. Kempf
2013 J jnl
Manuf. Serv. Oper. Manag.
Hongmin Li, Dieter Armbruster, Karl G. Kempf
2013 J jnl
Adv. Complex Syst.
Teun Adriaansen, Dieter Armbruster, Karl G. Kempf, Hongmin Li
2013 J jnl
CoRR
David S. Vaughan, Bruce M. Perrin, Robert M. Yadrick, Peter D. Holden, Karl G. Kempf
2013 J jnl
CoRR
Robert M. Yadrick, Bruce M. Perrin, David S. Vaughan, Peter D. Holden, Karl G. Kempf
2013 J jnl
Interfaces
Karl G. Kempf, Feryal Erhun, Erik F. Hertzler, Timothy R. Rosenberg, Chen Peng
2013 J jnl
CoRR
B. R. Fox, Karl G. Kempf
2012 J jnl
Manuf. Serv. Oper. Manag.
Chen Peng, Feryal Erhun, Erik F. Hertzler, Karl G. Kempf
2012 J jnl
Interfaces
Brian Wieland, Pat Mastrantonio, Sean P. Willems, Karl G. Kempf
2012 J jnl
Interfaces
Evan Rash, Karl G. Kempf
2012 Misc conf
WSC
Junzilan Cheng, John W. Fowler, Karl G. Kempf
2012 conf
MICAI (2)
Jesús Emeterio Navarro-Barrientos, Dieter Armbruster, Hongmin Li, Morgan Dempsey, Karl G. Kempf
2010 J jnl
Interfaces
S. David Wu, Karl G. Kempf, Mehmet O. Atan, Berrin Aytac, Shamin A. Shirodkar, Asima Mishra
2009 J jnl
Comput. Chem. Eng.
Seza Orçun, Reha Uzsoy, Karl G. Kempf
2007 Misc conf
WSC
Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf
2006 J jnl
Oper. Res.
Dieter Armbruster, Daniel E. Marthaler, Christian A. Ringhofer, Karl G. Kempf, Tae-Chang Jo
2006 Misc conf
WSC
Dongping Huang, Hessam S. Sarjoughian, Gary W. Godding, Daniel E. Rivera, Karl G. Kempf
2006 J jnl
Interfaces
Shamin A. Shirodkar, Karl G. Kempf
2006 Misc conf
WSC
Seza Orçun, Reha Uzsoy, Karl G. Kempf
2005 C conf
ACC
Wenlin Wang, Daniel E. Rivera, Karl G. Kempf
2005 Misc conf
WSC
Hessam S. Sarjoughian, Dongping Huang, Gary W. Godding, Karl G. Kempf, Wenlin Wang, Daniel E. Rivera, Hans D. Mittelmann
2005 C conf
ACC
Jay D. Schwartz, Daniel E. Rivera, Karl G. Kempf
2004 C conf
ACC
Wenlin Wang, Daniel E. Rivera, Karl G. Kempf, Kirk D. Smith
2004 C conf
ACC
Karl G. Kempf
2004 Misc conf
WSC
Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf
2003 J jnl
Annu. Rev. Control.
Martin W. Braun, Daniel E. Rivera, M. E. Flores, W. Matthew Carlyle, Karl G. Kempf
2003 J jnl
IEEE Trans. Control. Syst. Technol.
Felipe D. Vargas-Villamil, Daniel E. Rivera, Karl G. Kempf
2003 J jnl
Simul.
Martin W. Braun, Daniel E. Rivera, W. Matthew Carlyle, Karl G. Kempf
2003 C conf
ACC
Wenlin Wang, Daniel E. Rivera, Karl G. Kempf
2003 Misc conf
WSC
Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf
1996 Misc conf
WSC
Karl G. Kempf
1991 J jnl
AI Mag.
Karl G. Kempf, Bruce Russell, Sanjiv Sidhu, Stu Barrett
1991 J jnl
AI Mag.
Karl G. Kempf, Claude Le Pape, Stephen F. Smith, Barry Fox
1987 conf
COMPCON
Karl G. Kempf
1987 A* conf
ICRA
B. R. Fox, Karl G. Kempf
1986 A* conf
ICRA
R. K. Culley, Karl G. Kempf
1986 A* conf
AAAI
A. R. Kilhoffer, Karl G. Kempf
1986 A conf
UAI
Robert M. Yadrick, Bruce M. Perrin, David S. Vaughan, Peter D. Holden, Karl G. Kempf
1986 A conf
UAI
B. R. Fox, Karl G. Kempf
1985 A conf
UAI
David S. Vaughan, Bruce M. Perrin, Robert M. Yadrick, Peter D. Holden, Karl G. Kempf
1985 conf
CAIA
B. R. Fox, Karl G. Kempf
1985 J jnl
Robotics
Karl G. Kempf
1985 conf
CAIA
P. A. Newman, Karl G. Kempf
1985 A* conf
ICRA
B. R. Fox, Karl G. Kempf
1985 conf
CAIA
K. W. Whiting, Peter D. Holden, Michael W. Dwyer, Karl G. Kempf
redb/extractors/pe_extractors/pe_extra_findings.py
← Index redb/extractors/pe_extractors/pe_extra_findings.py python
from hashlib import md5, sha1, sha256
import inspect
import pefile
from magika import Magika
import json
from datetime import datetime, timezone
from typing import List, Optional, Any
from asn1crypto import cms, pem, x509, core
from dataclasses import asdict

from redb.extractors.enum import Tag
from redb.extractors.pe_extractor import PEExtractor
from redb.models.dataclasses import PEExtraFinding, PECertificate


class PEExtraFindings(PEExtractor):

    def __init__(
        self,
        filepath,
        log,
        exporters=None,
        index_prefix=None,
        elastic_index=None,
        known_benign=False,
        known_malicious=False,
        pe=None,
    ):
        super().__init__(
            filepath,
            log,
            exporters,
            index_prefix,
            elastic_index,
            known_benign,
            known_malicious,
            pe,
        )
        self.elastic_index = self.index_prefix + "-pe_extrafindings"
        self.log.debug(inspect.currentframe().f_code.co_name)
        self.has_binary_overlay = False
        self.has_binary_resource = False
        self.findings = []

    def tag(self):
        return Tag.PE_EMBEDDED_EXTRAS.value

    """
    The section below triggers in case of a binary which is not signed.
    It trigger the scan for Certificates inside the binary, for example
    inside a resource or an overlay.
    """

    def _scan_for_certificates(self):
        """
        Comprehensive scan for certificate data in PE file.
        Returns list of tuples (location_description, certificate_data)
        """
        self.log.debug(inspect.currentframe().f_code.co_name)

        # 1. Scan resources for embedded PE files
        self._scan_resources_for_certificates()

        # 3. Scan overlay
        overlay_data = self.pe.get_overlay()
        if overlay_data:
            self._scan_overlay_for_certificates(overlay_data)


    def _extract_certificate_info(self, cert_data):
        self.log.debug(inspect.currentframe().f_code.co_name)

        certificate = x509.Certificate.load(cert_data)
        certificate_serial_number = format(certificate.serial_number, "x").upper()
        grouped_serial_number = ":".join(
            [
                certificate_serial_number[i : i + 2]
                for i in range(0, len(certificate_serial_number), 2)
            ]
        )
        return PECertificate(
            certificate_serial_number=grouped_serial_number,
            certificate_issuer=certificate.issuer.human_friendly,
            certificate_subject=certificate.subject.human_friendly,
            certificate_valid_from=certificate["tbs_certificate"]["validity"][
                "not_before"
            ].native.strftime("%Y-%m-%d %H:%M:%S"),
            certificate_valid_to=certificate["tbs_certificate"]["validity"][
                "not_after"
            ].native.strftime("%Y-%m-%d %H:%M:%S"),
            certificate_thumbprint=sha1(cert_data).hexdigest().upper(),
            certificate_algorithm=None,
        )

    def _extract_standard_certificates(self, pe):
        self.log.debug(inspect.currentframe().f_code.co_name)
        address = pe.OPTIONAL_HEADER.DATA_DIRECTORY[
            pefile.DIRECTORY_ENTRY["IMAGE_DIRECTORY_ENTRY_SECURITY"]
        ].VirtualAddress
        size = pe.OPTIONAL_HEADER.DATA_DIRECTORY[
            pefile.DIRECTORY_ENTRY["IMAGE_DIRECTORY_ENTRY_SECURITY"]
        ].Size

        addr_8 = address + 8
        signature_data = bytes(
            pe.write()[addr_8 : addr_8 + size]  # noqa E203
        )  # Ensure this is a bytes object
        if pem.detect(signature_data):
            signature_data = pem.unarmor(signature_data)

        content_info = cms.ContentInfo.load(signature_data)
        signed_data = content_info["content"]
        certificates = signed_data["certificates"]

        certificates_list = []
        for cert in certificates:
            cert_info = self._extract_certificate_info(cert.chosen.dump())
            certificates_list.append(cert_info)

        return certificates_list

    def _is_signed(self, pedata):
        address = pedata.OPTIONAL_HEADER.DATA_DIRECTORY[
            pefile.DIRECTORY_ENTRY["IMAGE_DIRECTORY_ENTRY_SECURITY"]
        ].VirtualAddress
        if address == 0:
            return False
        return True

    def _scan_resources_for_certificates(self):
        """Scan resources for embedded PE files and their certificates"""
        self.log.debug(inspect.currentframe().f_code.co_name)

        try:
            if hasattr(self.pe, "DIRECTORY_ENTRY_RESOURCE"):
                for entry in self.pe.DIRECTORY_ENTRY_RESOURCE.entries:
                    for resource in self._get_resource_data(entry):
                        # Check if resource data might be a PE file
                        resource_magika = Magika().identify_bytes(resource).output.label
                        if resource.startswith(b"MZ") or resource_magika == "pebin":
                            try:
                                embedded_pe = pefile.PE(data=resource)
                                if self._is_signed(embedded_pe):
                                    cert_data = self._extract_standard_certificates(
                                        embedded_pe
                                    )
                                    if cert_data:
                                        # certificates.append(
                                        #     (f"Resource_{entry.id}", cert_data)
                                        # )
                                        self.findings.append(
                                            PEExtraFinding(
                                                context=f"Resource ({sha256(resource).hexdigest()}) is a PE file. Found Code Signing Certificates information inside.",
                                                finding=cert_data,
                                            )
                                        )
                            except Exception as e:
                                self.log.warning(
                                    f"Resource {sha256(resource).hexdigest()} is not a valid PE: {e}"
                                )

                        # Direct certificate pattern matching in resource
                        cert_data = self._find_certificate_patterns(resource)
                        if cert_data:
                            # certificates.append((f"Resource_{entry.id}", cert_data))
                            self.findings.append(
                                PEExtraFinding(
                                    context=f"Resource ({sha256(resource).hexdigest()}) is a PE file.\
                                    Found Code Signing Certificates information inside.",
                                    finding=cert_data,
                                )
                            )

        except Exception as e:
            self.log.error(f"Failed to scan resources: {e}")


    def _scan_overlay_for_certificates(self, overlay_data) -> List[bytes]:
        """Scan PE overlay for certificate data"""
        self.log.debug(inspect.currentframe().f_code.co_name)
        try:
            # Check if overlay is a PE file
            overlay_magika = Magika().identify_bytes(overlay_data).output.ct_label
            if overlay_data.startswith(b"MZ") or overlay_magika == "pebin":
                try:
                    overlay_pe = pefile.PE(data=overlay_data)
                    if self._is_signed(overlay_pe):
                        cert_data = self._extract_standard_certificates(overlay_data)
                        if cert_data:
                            self.findings.append(
                                PEExtraFinding(
                                    context=f"Overlay data ({sha256(overlay_data).hexdigest()}) is a PE file.\
                                    Found Code Signing Certificates information inside.",
                                    finding=cert_data,
                                )
                            )
                except Exception as e:
                    self.log.warning(f"Error looking for certificates in Overlay: {e}")
                    pass

            # Direct certificate pattern matching in overlay
            cert_data = self._find_certificate_patterns(overlay_data)
            if cert_data:
                self.findings.append(
                    PEExtraFinding(
                        context=f"Overlay data ({sha256(overlay_data).hexdigest()}) is a PE file.\
                        Found Code Signing Certificates information inside.",
                        finding=cert_data,
                    )
                )
        except Exception as e:
            self.log.error(f"Failed to scan overlay: {e}")


    def _get_resource_data(self, entry) -> List[bytes]:
        """Recursively get resource data"""
        resources = []
        try:
            if hasattr(entry, "directory"):
                for subentry in entry.directory.entries:
                    resources.extend(self._get_resource_data(subentry))
            else:
                data = self.pe.get_data(
                    entry.data.struct.OffsetToData, entry.data.struct.Size
                )
                resources.append(data)
        except Exception as e:
            self.log.error(f"Failed to get resource data: {e}")
        return resources

    def _find_certificate_patterns(self, data: bytes) -> Optional[bytes]:
        """Find certificate patterns in binary data"""
        # PKCS#7 SignedData OID pattern
        PKCS7_PATTERN = b"\x06\x09\x2A\x86\x48\x86\xF7\x0D\x01\x07\x02"

        try:
            idx = data.find(PKCS7_PATTERN)
            if idx != -1:
                # Search backwards for ASN.1 sequence marker
                for i in range(idx, max(0, idx - 50), -1):
                    if data[i] == 0x30:  # ASN.1 SEQUENCE
                        try:
                            # Try to parse as X.509 certificate
                            cert = x509.load_der_x509_certificate(
                                data[i:], default_backend()
                            )
                            return data[i:]
                        except Exception:
                            continue
        except Exception as e:
            self.log.error(f"Failed to find certificate patterns: {e}")
        return None

    def prepare_export_data(self, exporter_type: str) -> Any:
        self.log.debug(inspect.currentframe().f_code.co_name)
        if exporter_type == "ElasticsearchExporter":
            return self.findings
        elif exporter_type == "ClickHouseExporter":
            current_time = datetime.now(timezone.utc)
            
            data = [
                [
                    self.sha256,
                    self.md5,
                    self.sha1,
                    finding.context,
                    [asdict(cert) for cert in finding.finding] if finding.finding else None,
                    current_time
                ]
                for finding in self.findings
            ]
            
            column_names = [
                'sha256', 'md5', 'sha1', 'context', 'finding', 'analysis_date'
            ]
            
            if not data:
                return None

            column_type_names = [
                'FixedString(64)', 'FixedString(32)', 'FixedString(40)',
                'String', 'Array(JSON)', 'DateTime64(3, \'UTC\')'
            ]

            return (data, column_names, column_type_names)

    def get_clickhouse_table(self) -> str:
        return "redb_extra_findings"

    def extract(self):
        try:
            self.log.debug(inspect.currentframe().f_code.co_name)
            self._scan_for_certificates()
            if len(self.findings) > 0:
                return self.findings
            return None
        except Exception as e:
            self.log.error(f"Error extracting PE Extras: {e}")
            return None