Magali Bardet

38 papers B 4C 3Journal 24Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
IACR Cryptol. ePrint Arch.
Magali Bardet, Axel Lemoine, Jean-Pierre Tillich
2026 ed.
PQCrypto (1)
Magali Bardet, Ruben Niederhagen
2026 ed.
PQCrypto (2)
Magali Bardet, Ruben Niederhagen
2025 J jnl
CoRR
Magali Bardet, Alban Gilard
2025 J jnl
CoRR
Magali Bardet, Charles Brion, Philippe Gaborit, Mercedes Haiech, Romaric Neveu
2024 J jnl
IEEE Trans. Inf. Theory
Magali Bardet, Rocco Mora, Jean-Pierre Tillich
2023 J jnl
CoRR
Magali Bardet, Rocco Mora, Jean-Pierre Tillich
2023 J jnl
Des. Codes Cryptogr.
Magali Bardet, Pierre Briaud, Maxime Bros, Philippe Gaborit, Jean-Pierre Tillich
2022 C conf
PQCrypto
Magali Bardet, Manon Bertin
2022 J jnl
CoRR
Magali Bardet, Manon Bertin
2022 J jnl
CoRR
Magali Bardet, Pierre Briaud, Maxime Bros, Philippe Gaborit, Jean-Pierre Tillich
2022 J jnl
IACR Cryptol. ePrint Arch.
Magali Bardet, Pierre Briaud, Maxime Bros, Philippe Gaborit, Jean-Pierre Tillich
2021 C conf
PQCrypto
Magali Bardet, Pierre Briaud
2021 J jnl
CoRR
Magali Bardet, Pierre Briaud
2021 B conf
ISIT
Magali Bardet, Rocco Mora, Jean-Pierre Tillich
2021 J jnl
CoRR
Magali Bardet, Rocco Mora, Jean-Pierre Tillich
2020 J jnl
CoRR
Magali Bardet, Maxime Bros, Daniel Cabarcas, Philippe Gaborit, Ray A. Perlner, Daniel Smith-Tone, Jean-Pierre Tillich, Javier A. Verbel
2020 conf
EUROCRYPT (3)
Magali Bardet, Pierre Briaud, Maxime Bros, Philippe Gaborit, Vincent Neiger, Olivier Ruatta, Jean-Pierre Tillich
2020 conf
ASIACRYPT (1)
Magali Bardet, Maxime Bros, Daniel Cabarcas, Philippe Gaborit, Ray A. Perlner, Daniel Smith-Tone, Jean-Pierre Tillich, Javier A. Verbel
2019 J jnl
CoRR
Magali Bardet, Pierre Briaud, Maxime Bros, Philippe Gaborit, Vincent Neiger, Olivier Ruatta, Jean-Pierre Tillich
2019 B conf
ISIT
Magali Bardet, Ayoub Otmani, Mohamed Saeed-Taha
2019 J jnl
CoRR
Magali Bardet, Ayoub Otmani, Mohamed Saeed-Taha
2019 conf
CBC
Magali Bardet, Manon Bertin, Alain Couvreur, Ayoub Otmani
2019 J jnl
CoRR
Magali Bardet, Manon Bertin, Alain Couvreur, Ayoub Otmani
2016 J jnl
CoRR
Magali Bardet, Vlad Dragoi, Ayoub Otmani, Jean-Pierre Tillich
2016 B conf
ISIT
Magali Bardet, Vlad Dragoi, Ayoub Otmani, Jean-Pierre Tillich
2016 C conf
PQCrypto
Magali Bardet, Julia Chaulet, Vlad Dragoi, Ayoub Otmani, Jean-Pierre Tillich
2016 conf
AFRICACRYPT
Magali Bardet, Vlad Dragoi, Jean-Gabriel Luque, Ayoub Otmani
2015 J jnl
J. Symb. Comput.
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
2013 J jnl
CoRR
Magali Bardet, Jean-Charles Faugère, Bruno Salvy
2013 J jnl
J. Complex.
Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer
2013 J jnl
CoRR
Magali Bardet, Térence Bayen
2011 J jnl
Appl. Math. Comput.
Magali Bardet, Islam Boussaada
2011 J jnl
CoRR
Magali Bardet, Jean-Charles Faugère, Bruno Salvy, Pierre-Jean Spaenlehauer
2009 J jnl
J. Symb. Comput.
Daniel Augot, Magali Bardet, Jean-Charles Faugère
2007 J jnl
CoRR
Daniel Augot, Magali Bardet, Jean-Charles Faugère
2007 B conf
ISIT
Daniel Augot, Magali Bardet, Jean-Charles Faugère
2004
Magali Bardet
redb/s3_utils.py
← Index redb/s3_utils.py python
"""
S3 and file utility functions for REDB.

Contains MinIO/S3 client creation, S3 key generation,
file download, and archive extraction helpers.
"""
import os
import tempfile
from typing import Optional, List

from minio import Minio
from minio.error import S3Error


def get_minio_client():
    """Create and return a Minio client using credentials from .env file"""
    return Minio(
        endpoint=os.getenv("S3_ENDPOINT"),
        access_key=os.getenv("S3_ACCESS_KEY"),
        secret_key=os.getenv("S3_SECRET_KEY"),
        secure=os.getenv("S3_SECURE", "false").lower() == "true"
    )


def generate_s3_key_from_hash(sample_hash: str) -> str:
    """
    Generate S3 key from hash using sharding structure.
    Example: 09f7d02a3c2382199458c98a62b045145ee54ab6aba86166aecf3d10c3c1444c
    becomes: 09/f7/09f7d02a3c2382199458c98a62b045145ee54ab6aba86166aecf3d10c3c1444c.zip
    """
    if len(sample_hash) < 4:
        raise ValueError(f"Hash too short for sharding: {sample_hash}")

    # Create sharded path: first 2 chars / next 2 chars / full_hash.zip
    return f"{sample_hash[:2]}/{sample_hash[2:4]}/{sample_hash}.zip"


def download_s3_object(s3_bucket: str, s3_key: str, temp_dir: str, logger=None) -> Optional[str]:
    """
    Download an object from S3 to a local temporary directory and return the local path.
    If the .zip file is not found, automatically tries .7z as a fallback for legacy uploads.
    """
    try:
        minio_client = get_minio_client()
        local_path = os.path.join(temp_dir, os.path.basename(s3_key))

        # Download the file
        minio_client.fget_object(s3_bucket, s3_key, local_path)

        return local_path
    except S3Error as e:
        # If .zip not found and error is NoSuchKey, try .7z fallback
        if e.code == 'NoSuchKey' and s3_key.endswith('.zip'):
            s3_key_7z = s3_key[:-4] + '.7z'  # Replace .zip with .7z
            if logger:
                logger.info(f".zip not found, trying .7z fallback: {s3_key_7z}")
            try:
                local_path_7z = os.path.join(temp_dir, os.path.basename(s3_key_7z))
                minio_client.fget_object(s3_bucket, s3_key_7z, local_path_7z)
                if logger:
                    logger.info(f"Successfully downloaded .7z fallback: {s3_key_7z}")
                return local_path_7z
            except S3Error as e2:
                if logger:
                    logger.error(f"Failed to download S3 object {s3_key} (tried both .zip and .7z): {e2}")
                else:
                    print(f"[ERROR] Failed to download S3 object {s3_key} (tried both .zip and .7z): {e2}")
                return None
        else:
            if logger:
                logger.error(f"Failed to download S3 object {s3_key}: {e}")
            else:
                print(f"[ERROR] Failed to download S3 object {s3_key}: {e}")
            return None


def extract_fat_slices(macho, output_dir: str, logger) -> List[tuple]:
    """
    Extract slices from FAT Mach-O binary using machofile's dump_slices() API.

    Args:
        macho: Parsed machofile.UniversalMachO object
        output_dir: Directory to write slice files
        logger: Logger instance

    Returns:
        List of (arch_name, slice_path, slice_sha256, slice_md5, slice_sha1) tuples
    """
    result = []
    try:
        # Use machofile's dump_slices API (v2026.2.5+)
        slices = macho.dump_slices(output_dir=output_dir)
        logger.debug(f"Extracted {len(slices)} slices from FAT binary")

        for arch_name, slice_path in slices:
            # Get hash info for this slice from machofile
            general_info = macho.get_general_info(arch=arch_name)
            slice_sha256 = general_info.get('SHA256')
            slice_md5 = general_info.get('MD5')
            slice_sha1 = general_info.get('SHA1')
            result.append((arch_name, slice_path, slice_sha256, slice_md5, slice_sha1))
            logger.debug(f"Slice {arch_name}: {slice_sha256}")

    except Exception as e:
        logger.error(f"Error extracting FAT slices: {e}")

    return result