Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.16767
Cited By
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
27 May 2024
Masaki Waga
Kotaro Matsuoka
Takashi Suwa
Naoki Matsumoto
Ryotaro Banno
Song Bian
Kohei Suenaga
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption"
2 / 2 papers shown
Title
Privacy-Preserving Runtime Verification
Thomas Henzinger
Mahyar Karimi
K. S. Thejaswini
14
0
0
14 May 2025
Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE
Kotaro Matsuoka
Ryotaro Banno
Naoki Matsumoto
Takashi Sato
S. Bian
22
29
0
19 Oct 2020
1
