Olaf Owe

114 papers A 1B 14C 7Misc 1Journal 43Unranked 43
YearRankTypeTitle / Venue / Authors
2026 conf
Concurrent Programming, Open Systems and Formal Methods
Olaf Owe
2025 J jnl
CoRR
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2025 J jnl
Art Sci. Eng. Program.
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2024 ch.
Active Object Languages: Current Research Trends
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
2024 J jnl
Sci. Comput. Program.
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2023 conf
Privacy and Identity Management
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
2023 J jnl
CoRR
Daniel Gerbi Duguma, Juliana Jia Yu Zhang, Meysam Aboutalebi, Shiliang Zhang, Catherine Banet, Cato Bjørkli, Chinmayi Prabhu Baramashetru, Frank Eliassen, Hui Zhang, Jonathan Muringani, Josef Noll, Knut Inge Fostervold, Lars Böcker, Lee Andrew Bygrave, Matin Bagherpour, Maunya Doroudi Moghadam, Olaf Owe, Poushali Sengupta, Roman Vitenberg, Sabita Maharjan, Thiago Garrett, Yushuai Li, Zhengyu Shan
2022 B conf
IFM
Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka
2022 J jnl
J. Log. Algebraic Methods Program.
Olaf Owe, Elahe Fazeldehkordi
2022 C conf
FORTE
Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse
2022 J jnl
J. Syst. Archit.
Hamed Arshad, Christian Johansen, Olaf Owe
2022 J jnl
Inf. Sci.
Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, Gerardo Schneider
2022 J jnl
J. Log. Algebraic Methods Program.
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
2020 C conf
FORTE
Shukun Tokas, Olaf Owe
2020 conf
NordSec
Farzane Karami, Olaf Owe, Gerardo Schneider
2020 J jnl
CoRR
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2020 J jnl
CoRR
Farzane Karami, Olaf Owe, Gerardo Schneider
2019 C conf
MODELSWARD
Olaf Owe, Jia-Chun Lin, Elahe Fazeldehkordi
2019 conf
MODELSWARD (Revised Selected Papers)
Olaf Owe, Elahe Fazeldehkordi, Jia-Chun Lin
2019 conf
IOSec/MSTEC/FINSEC@ESORICS
Elahe Fazeldehkordi, Olaf Owe, Toktam Ramezanifarkhani
2019 J jnl
J. Log. Algebraic Methods Program.
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
2019 J jnl
J. Log. Algebraic Methods Program.
Christian Johansen, Olaf Owe
2019 conf
Privacy and Identity Management
Shukun Tokas, Olaf Owe, Toktam Ramezanifarkhani
2019 J jnl
Internet Things
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2019 C conf
PST
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
2019 conf
ISMICT
Elahe Fazeldehkordi, Olaf Owe, Josef Noll
2019 B conf
IFM
Farzane Karami, Olaf Owe, Toktam Ramezanifarkhani
2019 B conf
IFM
Christian Johansen, Olaf Owe
2018 J jnl
J. Log. Algebraic Methods Program.
Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2018 J jnl
J. Log. Algebraic Methods Program.
Toktam Ramezanifarkhani, Olaf Owe, Shukun Tokas
2018 B conf
AINA
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2018 conf
BWCCA
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2018 J jnl
CoRR
Ming-Chang Lee, Jia-Chun Lin, Olaf Owe
2017 conf
DPM/CBT@ESORICS
Olaf Owe, Toktam Ramezanifarkhani
2017 B conf
IFM
Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi
2017 J jnl
J. Log. Algebraic Methods Program.
Olaf Owe, Charlie McDowell
2016 J jnl
Sci. Comput. Program.
Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk
2016 J jnl
CoRR
Christian Johansen, Olaf Owe
2016 J jnl
LNCS Trans. Found. Mastering Chang.
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016 B conf
IFM
Olaf Owe
2016 ch.
From Action Systems to Distributed Systems
Olaf Owe
2015 J jnl
J. Log. Algebraic Methods Program.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2015 J jnl
Formal Aspects Comput.
Crystal Chang Din, Olaf Owe
2014 J jnl
J. Log. Algebraic Methods Program.
Crystal Chang Din, Olaf Owe
2014 conf
NIK
Olaf Owe, Ingrid Chieh Yu
2014 C conf
MODELSWARD
Crystal Chang Din, Olaf Owe, Richard Bubel
2013 conf
IRI (best papers)
Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
2013 Misc conf
IRI
Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
2013 J jnl
Inf. Comput.
Olaf Owe, Martin Steffen, Jan Arne Telle
2012 conf
FOCLASA
Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe
2012 conf
SPLC (2)
Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
2012 B conf
SEFM
Crystal Chang Din, Johan Dovland, Olaf Owe
2012 J jnl
J. Log. Algebraic Methods Program.
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012 B conf
IFM
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012 J jnl
J. Log. Algebraic Methods Program.
Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe
2012 J jnl
J. Log. Algebraic Methods Program.
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2011 conf
FoVeOOS
Lucian Bentea, Olaf Owe
2011 B ed.
FCT
Olaf Owe, Martin Steffen, Jan Arne Telle
2011 B conf
ICECCS
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2011 J jnl
Sci. Comput. Program.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2011 conf
FSEN
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
2010 conf
Concurrency, Compositionality, and Correctness
Dave Clarke, Einar Broch Johnsen, Olaf Owe
2010 C conf
ICFEM
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010 conf
FMOODS/FORTE
Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2010 J jnl
J. Log. Algebraic Methods Program.
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2010 conf
RTRTS
Joakim Bjørk, Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte
2010 conf
MBT@ETAPS
Olaf Owe, Martin Steffen, Arild B. Torjusen
2010 conf
FoVeOOS
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2009 J jnl
J. Log. Algebraic Methods Program.
Olaf Owe, Gerardo Schneider
2009 J jnl
J. Log. Algebraic Methods Program.
Einar Broch Johnsen, Olaf Owe, Gerardo Schneider
2009 J jnl
J. Log. Algebraic Methods Program.
Olaf Owe, Gerardo Schneider
2009 B conf
IFM
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2009 conf
FESCA@ETAPS
Olaf Owe, Gerardo Schneider
2008 J jnl
ERCIM News
Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider
2008 conf
TTSS
Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe
2008 B conf
FM
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen
2008 J jnl
Fundam. Informaticae
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2007 J jnl
Softw. Syst. Model.
Einar Broch Johnsen, Olaf Owe
2007 conf
FMCO
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas
2007 conf
FACS
Jasmin Christian Blanchette, Olaf Owe
2007 conf
SAVCBS
Olaf Owe, Gerardo Schneider, Martin Steffen
2007 conf
FInCo@ETAPS
Johan Dovland, Einar Broch Johnsen, Olaf Owe
2006 J jnl
Theor. Comput. Sci.
Einar Broch Johnsen, Olaf Owe, Ingrid Chieh Yu
2006 conf
ICSOFT (1)
Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
2006 conf
FMOODS
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
2005 conf
FMOODS
Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
2005 conf
HICSS
Einar Broch Johnsen, Olaf Owe
2005 conf
ITCC (2)
Demissie B. Aredo, Olaf Owe
2005 conf
FSEN
Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
2005 conf
SwSTE
Johan Dovland, Einar Broch Johnsen, Olaf Owe
2004 conf
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 conf
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 conf
FMCO
Einar Broch Johnsen, Olaf Owe
2004 conf
WRLA
Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
2004 B conf
SEFM
Einar Broch Johnsen, Olaf Owe
2004 ed.
Essays in Memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche
2004 conf
Essays in Memory of Ole-Johan Dahl
Einar Broch Johnsen, Olaf Owe
2002 conf
FMOODS
Einar Broch Johnsen, Olaf Owe
2002 B conf
IFM
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
2002 A conf
IPDPS
Einar Broch Johnsen, Olaf Owe
2001 J jnl
Nord. J. Comput.
Magne Haveraaen, Olaf Owe
2001 conf
APAQS
Einar Broch Johnsen, Olaf Owe, Ellen Munthe-Kaas, Jüri Vain
2001 conf
HCC
Wenhui Zhang, Olaf Owe, Einar Broch Johnsen, Demissie B. Aredo
2001 C conf
APSEC
Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
1998 J jnl
Nord. J. Comput.
Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen
1996 ed.
COMPASS/ADT
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
1993 J jnl
Theor. Comput. Sci.
Morten Elvang-Gøransson, Olaf Owe
1993 J jnl
Formal Aspects Comput.
Olaf Owe
1992 J jnl
Formal Aspects Comput.
Olaf Owe
1991 conf
VDM Europe (2)
Ole-Johan Dahl, Olaf Owe
1991 J jnl
Formal Aspects Comput.
Olaf Owe, Ole-Johan Dahl
1987 book
David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe
1985 J jnl
ACM SIGSOFT Softw. Eng. Notes
Ole-Johan Dahl, Olaf Owe
1985 conf
SIGAda
Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe
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"]