Linked Presentation: Senate: A Maliciously-Secure MPC Platform for Collaborative AnalyticsObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State