Carlos Moreno

22 papers A* 1A 4B 3C 2Misc 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 conf
ICSTW
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2024 J jnl
CoRR
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2024 J jnl
ACM Trans. Cyber Phys. Syst.
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
2023 J jnl
IEEE Embed. Syst. Lett.
Boris Vidal, Carlos Moreno, Sebastian Fischmeister, Gonzalo Carvajal
2023 conf
PKDD/ECML Workshops (5)
Arthur Grisel-Davy, Goksen U. Guler, Julian Dickert, Philippe Vibien, Waleed Khan, Jack Morgan, Carlos Moreno, Sebastian Fischmeister
2021 A conf
DATE
Nathan Liu, Carlos Moreno, Murray Dunne, Sebastian Fischmeister
2020 J jnl
CoRR
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
2019 C conf
ICISSP
Carlos Moreno, Sebastian Fischmeister
2018 A conf
DATE
Kamal Lamichhane, Carlos Moreno, Sebastian Fischmeister
2018 J jnl
Formal Methods Syst. Des.
Carlos Moreno, Sebastian Fischmeister
2017 J jnl
IEEE Embed. Syst. Lett.
Carlos Moreno, Sebastian Fischmeister
2017 A* conf
DAC
Carlos Moreno, Sebastian Fischmeister
2017 C conf
ICISSP
Carlos Moreno, Sebastian Fischmeister
2016 A conf
DATE
Carlos Moreno, Sean Kauffman, Sebastian Fischmeister
2016 B conf
RV
Carlos Moreno, Sebastian Fischmeister
2016 B conf
RTCSA
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2015 Misc conf
EMSOFT
Carlos Moreno, M. Anwar Hasan, Sebastian Fischmeister
2015 A conf
MoDELS
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki
2013 B conf
LCTES
Carlos Moreno, Sebastian Fischmeister, M. Anwar Hasan
2013
Carlos Moreno
2011 J jnl
J. Cryptogr. Eng.
Carlos Moreno, M. Anwar Hasan
2006 conf
ICASSP (3)
Carlos Moreno, Fabrice Labeau
redb/extractors/decompiler/bninja/utils/json_encoder.py
← Index redb/extractors/decompiler/bninja/utils/json_encoder.py python
import json


class BinaryNinjaEncoder(json.JSONEncoder):
    """Custom JSON encoder for BinaryNinja types"""

    def default(self, obj):
        # Handle Binary Ninja specific types

        # for values, we try to obtain the json for the value property
        if hasattr(obj, "value") and hasattr(obj, "confidence"):
            return obj.value

        # for strings, we simply compute the native string
        if hasattr(obj, "__str__"):
            return str(obj)

        # for all the others values we use the normal json encoder
        return json.JSONEncoder.default(self, obj)