Login / Signup
I Know Where You are: Proofs of Presence Resilient to Malicious Provers.
Markus Miettinen
N. Asokan
Farinaz Koushanfar
Thien Duc Nguyen
Jon Rios
Ahmad-Reza Sadeghi
Majid Sobhani
Sudha Yellapantula
Published in:
AsiaCCS (2015)
Keyphrases
</>
theorem prover
theorem proving
proof search
information systems
mathematical proofs
data sets
formal proof
decision procedures
natural language
machine learning
first order logic
case study
feature selection
natural deduction
information retrieval
malicious behavior
equational theories
neural network