Private runtime verification: work-in-progress.

Published in: EMSOFT Companion (2019)

Keyphrases

model checking
verification method
formal verification
privacy preserving
private data
formal methods
public private
artificial neural networks
website
machine learning
databases
mobile robot
face verification
social networks
signature verification
information retrieval
asynchronous circuits
real time