Makoto Tatsuta

67 papers A* 5B 15Misc 2Journal 33Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Ferruccio Damiani, Daisuke Kimura, Luca Paolini, Makoto Tatsuta
2026 J jnl
CoRR
Sohei Ito, Makoto Tatsuta
2025 J jnl
CoRR
Sohei Ito, Makoto Tatsuta
2025 J jnl
J. Log. Comput.
Yukihiro Oda, James Brotherston, Makoto Tatsuta
2024 B conf
FSCD
Sohei Ito, Makoto Tatsuta
2021 J jnl
CoRR
Yukihiro Masuoka, Makoto Tatsuta
2021 J jnl
Log. Methods Comput. Sci.
Daisuke Kimura, Makoto Tatsuta
2021 B conf
APLAS
Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa
2019 J jnl
Log. Methods Comput. Sci.
Stefano Berardi, Makoto Tatsuta
2019 J jnl
Inf. Comput.
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
2019 B conf
APLAS
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura
2018 J jnl
CoRR
Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura
2018 J jnl
CoRR
Daisuke Kimura, Makoto Tatsuta
2018 conf
CMCS
Stefano Berardi, Makoto Tatsuta
2017 conf
CAV (2)
Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin
2017 J jnl
NII Shonan Meet. Rep.
Marieke Huisman, Thomas Noll, Makoto Tatsuta
2017 J jnl
CoRR
Stefano Berardi, Makoto Tatsuta
2017 B conf
FoSSaCS
Stefano Berardi, Makoto Tatsuta
2017 B conf
APLAS
Daisuke Kimura, Makoto Tatsuta
2017 J jnl
CoRR
Daisuke Kimura, Makoto Tatsuta
2017 J jnl
CoRR
Stefano Berardi, Makoto Tatsuta
2017 A* conf
LICS
Stefano Berardi, Makoto Tatsuta
2017 conf
IEEE BigData
Takeaki Uno, Hiroki Maegawa, Takanobu Nakahara, Yukinobu Hamuro, Ryo Yoshinaka, Makoto Tatsuta
2016 J jnl
Theor. Comput. Sci.
Mahmudul Faisal Al Ameen, Makoto Tatsuta
2016 B conf
APLAS
Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin
2015 J jnl
CoRR
Takeaki Uno, Hiroki Maegawa, Takanobu Nakahara, Yukinobu Hamuro, Ryo Yoshinaka, Makoto Tatsuta
2015 B conf
APLAS
Makoto Tatsuta, Daisuke Kimura
2014 B conf
SEFM
Makoto Tatsuta, Wei-Ngan Chin
2013 J jnl
Log. Methods Comput. Sci.
Daisuke Kimura, Makoto Tatsuta
2013 conf
TLCA
Stefano Berardi, Makoto Tatsuta
2012 J jnl
Theor. Comput. Sci.
Stefano Berardi, Makoto Tatsuta
2012 J jnl
Inf. Media Technol.
Takayuki Koai, Makoto Tatsuta
2011 B conf
CSL
Makoto Tatsuta, Stefano Berardi
2011 A* conf
POPL
Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta
2011 conf
GandALF
Makoto Tatsuta, Ferruccio Damiani
2011 J jnl
Theor. Comput. Sci.
Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano
2010 J jnl
Ann. Pure Appl. Log.
Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, Hiroshi Nakano
2010 Misc conf
FLOPS
Stefano Berardi, Makoto Tatsuta
2010 J jnl
ACM Trans. Comput. Log.
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
2010 J jnl
Chic. J. Theor. Comput. Sci.
Koji Nakazawa, Makoto Tatsuta
2009 B conf
SEFM
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
2009 conf
RTA
Daisuke Kimura, Makoto Tatsuta
2009 B conf
CSL
Makoto Tatsuta
2009 conf
CATS
Koji Nakazawa, Makoto Tatsuta
2008 B conf
CSL
Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta
2008 J jnl
Ann. Pure Appl. Log.
Koji Nakazawa, Makoto Tatsuta
2008 Misc conf
FLOPS
Makoto Tatsuta
2008 A* conf
LICS
Makoto Tatsuta
2008 B conf
CSL
Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano
2007 B conf
APLAS
Stefano Berardi, Makoto Tatsuta
2007 conf
TLCA
Makoto Tatsuta
2007 conf
RTA
Makoto Tatsuta
2006 conf
LMCS
Mariangiola Dezani-Ciancaglini, Makoto Tatsuta
2006 A* conf
LICS
Makoto Tatsuta, Mariangiola Dezani-Ciancaglini
2005 J jnl
Ann. Pure Appl. Log.
Makoto Tatsuta, Grigori Mints
2003 J jnl
J. Symb. Log.
Koji Nakazawa, Makoto Tatsuta
2003 J jnl
J. Symb. Log.
Koji Nakazawa, Makoto Tatsuta
1998 A* conf
LICS
Makoto Tatsuta
1998 B conf
MPC
Makoto Tatsuta
1997 J jnl
Arch. Math. Log.
Mitsuru Tada, Makoto Tatsuta
1994 J jnl
Theor. Comput. Sci.
Makoto Tatsuta
1994 J jnl
Theor. Comput. Sci.
Satoshi Kobayashi, Makoto Tatsuta
1994 J jnl
Int. J. Found. Comput. Sci.
Makoto Tatsuta
1993 J jnl
J. Symb. Log.
Makoto Tatsuta
1992 conf
FGCS
Makoto Tatsuta
1991 conf
TACS
Makoto Tatsuta
1991 J jnl
Theor. Comput. Sci.
Makoto Tatsuta
redb/extractors/decompiler/bninja/utils/hashes.py
← Index redb/extractors/decompiler/bninja/utils/hashes.py python
import hashlib

import tlsh


def calculate_md5(input_str):
    return hashlib.md5(input_str.encode("utf-8")).hexdigest()


def calculate_sha256(input_str):
    """Calculate SHA256 hash of a string."""
    return hashlib.sha256(input_str.encode("utf-8")).hexdigest()

def calculate_tlsh(data):
    """Calculate TLSH fuzzy hash of data if available.

    Args:
        data: The string data to calculate the hash for

    Returns:
        The TLSH hash as a string, or None if not available

    Note:
        TLSH requires at least 50 bytes of data to generate a hash
    """
    try:
        if len(data) >= 50:
            return tlsh.hash(data.encode("utf-8"))
    except Exception:
        pass
    return None