Rajarshi Roy

44 papers A* 3A 1B 3C 1Journal 24Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Formal Methods Syst. Des.
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2025 J jnl
CoRR
Anirban Majumdar, Ritam Raha, Rajarshi Roy, David Parker, Marta Kwiatkowska
2025 A* conf
IJCAI
Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska
2025 J jnl
CoRR
Rajarshi Roy, Yash Pote, David Parker, Marta Kwiatkowska
2025 J jnl
Innov. Syst. Softw. Eng.
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2025 A conf
STACS
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2025 J jnl
CoRR
Daniel Neider, Rajarshi Roy
2024 J jnl
Log. Methods Comput. Sci.
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2024 conf
FM (1)
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 J jnl
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024
Rajarshi Roy
2024 J jnl
J. Open Source Softw.
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2024 conf
VMCAI (2)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2024 J jnl
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024 conf
Principles of Verification (3)
Daniel Neider, Rajarshi Roy
2023 J jnl
Int. J. Softw. Tools Technol. Transf.
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2023 J jnl
CoRR
Lina Ye, Igor Khmelnitsky, Serge Haddad, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2023 J jnl
CoRR
Rajarshi Roy, Daniel Neider
2023 A* conf
AAAI
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023 J jnl
CoRR
Benjamin Bordais, Daniel Neider, Rajarshi Roy
2023 C conf
CD-MAKE
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023 J jnl
CoRR
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023 B conf
ATVA
Simon Lutz, Daniel Neider, Rajarshi Roy
2023 J jnl
CoRR
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider, Guillermo A. Pérez
2022 conf
GandALF
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy
2022 conf
RE Workshops
Daniel Neider, Rajarshi Roy
2022 J jnl
CoRR
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022 J jnl
CoRR
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022 J jnl
Innov. Syst. Softw. Eng.
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2022 conf
NFM
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022 J jnl
CoRR
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, Martin Zimmermann
2022 conf
TACAS (1)
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2022 J jnl
CoRR
Simon Lutz, Daniel Neider, Rajarshi Roy
2021 conf
ICGI
Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Igor Khmelnitsky, Martin Leucker, Daniel Neider, Rajarshi Roy, Lina Ye
2021 J jnl
CoRR
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021 B conf
ATVA
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021 B conf
ATVA
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2021 conf
OVERLAY@GandALF
Benedikt Böing, Rajarshi Roy, Daniel Neider, Emmanuel Müller
2021 J jnl
CoRR
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider
2020 A* conf
IJCAI
Rajarshi Roy, Dana Fisman, Daniel Neider
2020 J jnl
CoRR
Rajarshi Roy, Dana Fisman, Daniel Neider
2020 J jnl
CoRR
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2020 conf
ECML/PKDD (2)
Benedikt Böing, Rajarshi Roy, Emmanuel Müller, Daniel Neider
2018 conf
NETYS
Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy
Dockerfile
← Index Dockerfile dockerfile
FROM python:3.12-slim

# Prevent interactive prompts during package installation
ENV DEBIAN_FRONTEND=noninteractive

# Install system dependencies (build tools will be removed after pip install).
# curl + ca-certificates + gnupg are needed to add the NodeSource repository
# for the JS analysis toolchain (webcrack + @nodesecure/js-x-ray).
RUN apt-get update && apt-get install -y \
    git \
    gcc \
    g++ \
    build-essential \
    libmagic1 \
    file \
    libqt5core5a \
    libqt5gui5 \
    libqt5widgets5 \
    default-jre-headless \
    curl \
    ca-certificates \
    gnupg \
    && rm -rf /var/lib/apt/lists/*

# Install Node.js 22 LTS (needed by webcrack and @nodesecure/js-x-ray). Pinning
# to 22.x because that's the active LTS — bumping to a future major is a
# deliberate Dockerfile change, not a silent upgrade on rebuild.
RUN curl -fsSL https://deb.nodesource.com/setup_22.x | bash - && \
    apt-get install -y nodejs && \
    rm -rf /var/lib/apt/lists/*

# webcrack is the deobfuscator (CLI on PATH). Pinned to 2.16.0 — released
# 2026-04-25, last verified working with our subprocess invocation. Bumping
# this is a deliberate change so a future regression in webcrack does not
# show up as a silent JSDeobfuscation behaviour shift on image rebuild.
RUN npm install -g webcrack@2.16.0

# Create application directory
WORKDIR /app

# Copy requirements and install Python dependencies
COPY requirements.txt .
RUN pip3 install --no-cache-dir -r requirements.txt

# Remove build dependencies to reduce image size. curl + gnupg are kept —
# curl is widely useful and gnupg is small. Node.js stays.
RUN apt-get remove -y gcc g++ build-essential git && \
    apt-get autoremove -y && \
    apt-get clean && \
    rm -rf /var/lib/apt/lists/*

# Copy application code (explicit files to help debug .dockerignore issues)
COPY redb/ ./redb/
COPY start.py .
COPY scripts/ ./scripts/

# Install @nodesecure/js-x-ray locally next to its bundled Node bridge so the
# Python wrapper's `node_modules/@nodesecure/js-x-ray` existence check passes
# without any runtime configuration. Version is pinned in the package.json.
# The npm install also triggers the `postinstall: patch-package` hook which
# re-applies the local patch in scripts/patches/ — currently a one-line fix
# for a `from "repl"` → `from "module"` import in [email protected] that breaks
# on Node 22 patches above ~22.10. Drop the patch when js-x-ray ships a fix.
RUN cd /app/redb/extractors/js_extractors/scripts && npm install --omit=dev

# Set up logging path and create logs directory
ENV LOG_FILE_PATH="/app/logs/"
RUN mkdir -p /app/logs

# Environment variables for tools (snapshot-style paths)
ENV CAPA_PATH="/usr/bin/capa"
ENV DIE_PATH="/usr/bin/nfdc"
ENV GORESYM_PATH="/usr/bin/GoReSym"
ENV JADX_PATH="/opt/deploy/jadx/bin/jadx"
ENV APKTOOL_PATH="/usr/local/bin/apktool"
ENV MALCONTENT_PATH="/usr/local/bin/mal"
ENV PATH="/usr/bin:/opt/binaryninja:${PATH}"
ENV PYTHONPATH="/opt/binaryninja/python"

# Tool timeouts
ENV CAPA_TIMEOUT="300"
ENV DIE_TIMEOUT="180"
ENV MALCONTENT_TIMEOUT="300"
ENV JADX_TIMEOUT="600"
ENV BINJA_TIMEOUT="1200"
ENV DECOMPILE_EXTRACTOR_TIMEOUT="2580"

ENV MALCONTENT_FORMATS=pebin,elf,macho,apk,javascript

# JS analysis toolchain. webcrack is on PATH from the global npm install;
# js-x-ray's Python wrapper finds the bundled Node bridge at the default
# location (no env needed). Override these in .env / Nomad if you swap tools.
ENV JS_DEOBFUSCATOR_PATH="webcrack"
ENV JS_DEOBFUSCATE_TIMEOUT="60"
ENV JS_XRAY_TIMEOUT="60"

# Copy the Binary Ninja setup script
COPY scripts/setup-and-run.sh /usr/local/bin/setup-and-run.sh
RUN chmod +x /usr/local/bin/setup-and-run.sh

# Create non-root user for security
RUN useradd -m -u 1000 analyzer
RUN chown -R analyzer:analyzer /app /app/logs
USER analyzer

# Set entrypoint to setup script for Binary Ninja installation (runtime)
ENTRYPOINT ["/usr/local/bin/setup-and-run.sh"]

# Set working directory
WORKDIR /app

# Default command - supports both feature extraction and decompilation
CMD ["python3", "start.py", "--nomad-job"]