Security, privacy, and cryptography

Publication

Accelerating SWHE Based PIRs Using GPUs

Wei Dai, Yarkın Doröz, Berk Sunar

FC 2015: Financial Cryptography and Data Security | September 2015

Publication

Homomorphic computation of edit distance

Jung Hee Cheon, Miran Kim, Kristin Lauter

International Conference on Financial Cryptography and Data Security – FC 2015 | September 2015

Publication

Secure Computation Interfaces

Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado

MSR-TR-2015-67 | August 2015

Published by Microsoft

Project

FourQlib is an efficient and portable math library that provides functions for computing essential elliptic curve operations on a high-performance curve called “FourQ”. This curve targets the 128-bit security level and supports computations that are…

Publication

Subgroup Security in Pairing-Based Cryptography

Paulo S. L. M. Barreto, Craig Costello, Rafael Misoczki, Michael Naehrig, Geovandro C. C. F. Pereira, Gustavo Zanon

Progress in Cryptology – LATINCRYPT 2015 – 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico | August 2015

ISBN: 978-3-319-22173-1

Tool

Ironclad

Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior.

GitHub Publication

Publication

Fully Reversible Privacy Region Protection for Cloud Video Surveillance

Xiaojing Ma, Wenjun Zeng, Laurence T. Yang, Yang Xiang, Deqing Zou, Hai Jin

Transactions on Cloud Computing, Special Issue on Cloud Security Engineering | August 2015, Vol 5(3): pp. 510-522

Publication

Explicit Non-malleable Codes Against Bit-Wise Tampering and Permutations

Shashank Agrawal, Divya Gupta, Hemanta K. Maji, Omkant Pandey, Manoj Prabhakaran

CRYPTO | August 2015

Publication

Concurrent Secure Computation via Non-Black Box Simulation.

Vipul Goyal, Divya Gupta, Amit Sahai

CRYPTO | August 2015

Publication

Secure Computation from Leaky Correlated Randomness

Divya Gupta, Yuval Ishai, Hemanta K. Maji, Amit Sahai

CRYPTO | August 2015

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Accelerating SWHE Based PIRs Using GPUs

Homomorphic computation of edit distance

Secure Computation Interfaces

FourQlib

Subgroup Security in Pairing-Based Cryptography

Ironclad

Fully Reversible Privacy Region Protection for Cloud Video Surveillance

Explicit Non-malleable Codes Against Bit-Wise Tampering and Permutations

Concurrent Secure Computation via Non-Black Box Simulation.

Secure Computation from Leaky Correlated Randomness

Security, privacy, and cryptography

Highlights