C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
Ryotaro Banno
Kotaro Matsuoka
Naoki Matsumoto
Song Bian
Masaki Waga
Kohei Suenaga
Published in:
CAV (1) (2022)
Keyphrases
</>
real time
linear temporal logic
homomorphic encryption
transition systems
privacy preserving
temporal logic
model checking
formal verification
databases
data structure
encryption scheme