Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text

Authors: Waga, Masaki, Matsuoka, Kotaro, Suwa, Takashi, Matsumoto, Naoki, Banno, Ryotaro, Bian, Song, Suenaga, Kohei

DOI: 10.5281/zenodo.17879145

Cited by: 0

Abstract

We fixed the Docker image so that it works on Linux/x86-64 machines with AVX2 and FMA support.