17 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.CR2020
Accelerating 2PC-based ML with Limited Trusted Hardware
Muqsit Nawaz, Aditya Gulati, Kunlong Liu +3
This paper describes the design, implementation, and evaluation of Otak, a system that allows two non-colluding cloud providers to run machine learning (ML) inference without knowi…
cs.SE2019★ 17 cited
A Survey on Theorem Provers in Formal Methods
M. Saqib Nawaz, Moin Malik, Yi Li +2
Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (…