Valia Mitsou

55 papers A* 1A 4B 11Misc 3Journal 34Unranked 2
YearRankTypeTitle / Venue / Authors
2025 B conf
MFCS
Yudai Egami, Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, Daniel Vaz
2025 J jnl
CoRR
Yudai Egami, Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, Daniel Vaz
2025 J jnl
CoRR
Owen Crabtree, Valia Mitsou
2025 B conf
MFCS
Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, Daniel Vaz
2024 J jnl
Log. Methods Comput. Sci.
Michael Lampis, Valia Mitsou
2024 J jnl
CoRR
Michael Lampis, Valia Mitsou, Edouard Nemery, Yota Otachi, Manolis Vasilakis, Daniel Vaz
2022 J jnl
Discret. Math. Theor. Comput. Sci.
Rémy Belmonte, Michael Lampis, Valia Mitsou
2022 J jnl
Algorithmica
Florent Foucaud, Hervé Hocquard, Dimitri Lajou, Valia Mitsou, Théo Pierron
2022 J jnl
SIAM J. Discret. Math.
Rémy Belmonte, Eun Jung Kim, Michael Lampis, Valia Mitsou, Yota Otachi
2021 B conf
ISAAC
Michael Lampis, Valia Mitsou
2021 J jnl
CoRR
Michael Lampis, Valia Mitsou
2021 J jnl
Theory Comput. Syst.
Rémy Belmonte, Eun Jung Kim, Michael Lampis, Valia Mitsou, Yota Otachi, Florian Sikora
2020 J jnl
Discret. Appl. Math.
François Dross, Florent Foucaud, Valia Mitsou, Pascal Ochem, Théo Pierron
2020 A conf
ESA
Rémy Belmonte, Eun Jung Kim, Michael Lampis, Valia Mitsou, Yota Otachi
2020 J jnl
CoRR
Rémy Belmonte, Eun Jung Kim, Michael Lampis, Valia Mitsou, Yota Otachi
2020 J jnl
SIAM J. Discret. Math.
Rémy Belmonte, Michael Lampis, Valia Mitsou
2019 J jnl
CoRR
François Dross, Florent Foucaud, Valia Mitsou, Pascal Ochem, Théo Pierron
2019 B conf
IPEC
Florent Foucaud, Hervé Hocquard, Dimitri Lajou, Valia Mitsou, Théo Pierron
2019 J jnl
CoRR
Florent Foucaud, Hervé Hocquard, Dimitri Lajou, Valia Mitsou, Théo Pierron
2019 A conf
STACS
Rémy Belmonte, Eun Jung Kim, Michael Lampis, Valia Mitsou, Yota Otachi, Florian Sikora
2018 A conf
STACS
Rémy Belmonte, Michael Lampis, Valia Mitsou
2018 J jnl
CoRR
Rémy Belmonte, Michael Lampis, Valia Mitsou
2018 J jnl
Discret. Appl. Math.
Michael Lampis, Kazuhisa Makino, Valia Mitsou, Yushi Uno
2018 A conf
SAT
Michael Lampis, Stefan Mengel, Valia Mitsou
2018 J jnl
CoRR
Michael Lampis, Stefan Mengel, Valia Mitsou
2018 J jnl
CoRR
Rémy Belmonte, Eun Jung Kim, Michael Lampis, Valia Mitsou, Yota Otachi, Florian Sikora
2017 J jnl
Algorithmica
Holger Dell, Eun Jung Kim, Michael Lampis, Valia Mitsou, Tobias Mömke
2017 B conf
WG
Rémy Belmonte, Michael Lampis, Valia Mitsou
2017 J jnl
CoRR
Rémy Belmonte, Michael Lampis, Valia Mitsou
2017 J jnl
Theor. Comput. Sci.
Jean-François Baffier, Man-Kwun Chiu, Yago Diez, Matias Korman, Valia Mitsou, André van Renssen, Marcel Roeloffzen, Yushi Uno
2017 B conf
IPEC
Michael Lampis, Valia Mitsou
2016 A* conf
ICALP
Dániel Marx, Valia Mitsou
2016 Misc conf
FUN
Jean-François Baffier, Man-Kwun Chiu, Yago Diez, Matias Korman, Valia Mitsou, André van Renssen, Marcel Roeloffzen, Yushi Uno
2016 J jnl
CoRR
Jean-François Baffier, Man-Kwun Chiu, Yago Diez, Matias Korman, Valia Mitsou, André van Renssen, Marcel Roeloffzen, Yushi Uno
2015 B conf
IPEC
Holger Dell, Eun Jung Kim, Michael Lampis, Valia Mitsou, Tobias Mömke
2015 J jnl
CoRR
Holger Dell, Eun Jung Kim, Michael Lampis, Valia Mitsou, Tobias Mömke
2015 conf
MFCS (2)
Jakub Gajarský, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak
2015 J jnl
J. Inf. Process.
Michael Lampis, Valia Mitsou, Karolina Soltys
2014 B conf
WG
Michael Lampis, Kazuhisa Makino, Valia Mitsou, Yushi Uno
2014 J jnl
CoRR
Michael Lampis, Kazuhisa Makino, Valia Mitsou, Yushi Uno
2014 B conf
LATIN
Michael Lampis, Valia Mitsou
2013 J jnl
CoRR
Michael Lampis, Valia Mitsou
2012 J jnl
Theor. Comput. Sci.
Amotz Bar-Noy, Panagiotis Cheilaris, Michael Lampis, Valia Mitsou, Stathis Zachos
2012 J jnl
Algorithmica
Antonis Achilleos, Michael Lampis, Valia Mitsou
2012 Misc conf
FUN
Michael Lampis, Valia Mitsou, Karolina Soltys
2012 J jnl
CoRR
Michael Lampis, Valia Mitsou, Karolina Soltys
2011 J jnl
Discret. Optim.
Michael Lampis, Georgia Kaouri, Valia Mitsou
2011 J jnl
Theory Comput. Syst.
Gregory Z. Gutin, Eun Jung Kim, Michael Lampis, Valia Mitsou
2010 conf
ICALP (2)
Antonis Achilleos, Michael Lampis, Valia Mitsou
2009 B conf
SIROCCO
Amotz Bar-Noy, Panagiotis Cheilaris, Michael Lampis, Valia Mitsou, Stathis Zachos
2009 J jnl
CoRR
Antonis Achilleos, Michael Lampis, Valia Mitsou
2009 J jnl
Theory Comput. Syst.
Michael Lampis, Valia Mitsou
2009 J jnl
CoRR
Gregory Z. Gutin, Eun Jung Kim, Michael Lampis, Valia Mitsou
2008 B conf
ISAAC
Michael Lampis, Georgia Kaouri, Valia Mitsou
2007 Misc conf
FUN
Michael Lampis, Valia Mitsou
tests/unit/test_decompile_utils.py
← Index tests/unit/test_decompile_utils.py python
"""Unit tests for decompiler utility modules:
- bninja/utils/hashes.py
- bninja/utils/json_encoder.py
- bninja/analysis/low_level_normalization.py
"""
import hashlib
import json
import pytest


# ============================================================================
# 1a. hashes.py
# ============================================================================

from redb.extractors.decompiler.bninja.utils.hashes import (
    calculate_md5,
    calculate_sha256,
    calculate_tlsh,
)


class TestCalculateMD5:
    def test_calculate_md5_known_value(self):
        expected = hashlib.md5(b"test").hexdigest()
        assert calculate_md5("test") == expected

    def test_calculate_md5_empty(self):
        expected = hashlib.md5(b"").hexdigest()
        assert calculate_md5("") == expected


class TestCalculateSHA256:
    def test_calculate_sha256_known_value(self):
        expected = hashlib.sha256(b"hello world").hexdigest()
        assert calculate_sha256("hello world") == expected

    def test_calculate_sha256_empty_string(self):
        result = calculate_sha256("")
        assert len(result) == 64
        assert all(c in "0123456789abcdef" for c in result)


class TestCalculateTLSH:
    def test_calculate_tlsh_long_data(self):
        # TLSH requires >= 50 bytes
        data = "A" * 100
        result = calculate_tlsh(data)
        assert result is not None
        assert isinstance(result, str)

    def test_calculate_tlsh_short_data(self):
        data = "A" * 10
        result = calculate_tlsh(data)
        assert result is None

    def test_calculate_tlsh_deterministic(self):
        data = "x" * 200
        assert calculate_tlsh(data) == calculate_tlsh(data)



# ============================================================================
# 1b. json_encoder.py
# ============================================================================

from redb.extractors.decompiler.bninja.utils.json_encoder import BinaryNinjaEncoder


class TestBinaryNinjaEncoder:
    def test_encode_value_confidence_object(self):
        obj = type("VC", (), {"value": 42, "confidence": 255})()
        result = json.dumps(obj, cls=BinaryNinjaEncoder)
        assert json.loads(result) == 42

    def test_encode_str_fallback(self):
        obj = type("Obj", (), {"__str__": lambda self: "custom_repr"})()
        result = json.dumps(obj, cls=BinaryNinjaEncoder)
        assert json.loads(result) == "custom_repr"

    def test_encode_normal_types(self):
        data = {"a": 1, "b": [2, 3], "c": "hello"}
        result = json.dumps(data, cls=BinaryNinjaEncoder)
        assert json.loads(result) == data

    def test_encode_set_via_str(self):
        # Python sets have __str__, so BinaryNinjaEncoder converts them
        # to their string repr instead of raising TypeError.
        result = json.dumps(set([1, 2, 3]), cls=BinaryNinjaEncoder)
        parsed = json.loads(result)
        assert isinstance(parsed, str)
        assert "1" in parsed


# ============================================================================
# 1c. low_level_normalization.py
# ============================================================================

from redb.extractors.decompiler.bninja.analysis.low_level_normalization import (
    LowLevelNormalization,
)


class MockIL:
    """Mock IL node for normalization tests."""
    def __init__(self, operation, operands=None):
        self.operation = operation
        self.operands = operands or []


class TestLowLevelNormalization:
    def setup_method(self):
        self.normalizer = LowLevelNormalization()

    def test_normalize_single_instruction(self):
        node = MockIL(operation=5)
        result = self.normalizer.normalize_instruction_all_levels(node)
        assert result == [5]

    def test_normalize_nested_operands(self):
        child1 = MockIL(operation=10)
        child2 = MockIL(operation=20)
        root = MockIL(operation=1, operands=[child1, child2])
        result = self.normalizer.normalize_instruction_all_levels(root)
        assert result == [1, 10, 20]

    def test_normalize_empty_operands(self):
        node = MockIL(operation=42, operands=[])
        result = self.normalizer.normalize_instruction_all_levels(node)
        assert result == [42]

    def test_normalize_list_operands(self):
        # Simulates phi-node style list operands
        inner = MockIL(operation=99)
        node = MockIL(operation=7, operands=[[inner]])
        result = self.normalizer.normalize_instruction_all_levels(node)
        assert result == [7, 99]

    def test_normalize_none_input(self):
        result = self.normalizer.normalize_instruction_all_levels(None)
        assert result == []