13 papers
Sketching the Error, Not the Product: Post Hoc Fault Recovery for Half Precision GPU Matrix Multiplication
Pranav Napolean, Vikas Srivastava, Napolean Periathambi
Silent data corruption (SDC) from defective accelerators now interrupts large scale training, yet deployed mitigations act on whole nodes. Algorithm based fault tolerance (ABFT) fo…
Syndrome Decoding for Silent Data Corruption in Quantized Integer GPU Arithmetic
Pranav Napolean, Vikas Srivastava, Napolean Periathambi
Quantized neural network inference runs integer matrix multiplications on GPU tensor cores, and the INT32 accumulators inside those cores have neither parity nor ECC. A transient f…
Pivot: Proactive and Verifiable Threshold Oblivious Pseudorandom Functions From Isogeny Group Actions
Abhinav Sharma, Vikas Srivastava
Oblivious pseudorandom functions (OPRFs) allow a client to evaluate a keyed pseudorandom function on a private input without revealing that input to the server. In a threshold OPRF…
A Post-Quantum Secure Lattice-Based Forward-Secure Identity Based Encryption with Applications to Internet of Things Architecture
Abhishek Kumar, Vikas Srivastava, Sumit Kumar Debnath +1
The rapid expansion of the Internet of Things (IoT) has led to an unprecedented scale of data exchange across heterogeneous and resource-constrained devices. Ensuring confidentiali…
Hierarchical Identity-Based Signature with Designated Aggregator from Lattices
Stuti Kumari, Kunal Dey, Vikas Srivastava +1
In hierarchical organizations, authenticating data from multiple users can be complex and resource-intensive. Hierarchical Identity-Based Signature with Designated Aggregator (HIBS…
A Post-Quantum Secure End-to-End Verifiable E-Voting Protocol Based on Multivariate Polynomials
Vikas Srivastava, Debasish Roy, Sihem Mesnager +3
Voting is a primary democratic activity through which voters select representatives or approve policies. Conventional paper ballot elections have several drawbacks that might compr…
Error Detection Schemes for Barrett Reduction of CT-BU on FPGA in Post Quantum Cryptography
Paresh Baidya, Rourab Paul, Vikas Srivastava +1
A fault can occur naturally or intentionally. However, intentionally injecting faults into hardware accelerators of Post-Quantum Cryptographic (PQC) algorithms may leak sensitive i…
Energy-Efficient NTT Sampler for Kyber Benchmarked on FPGA
Paresh Baidya, Rourab Paul, Vikas Srivastava +1
Kyber is a lattice-based key encapsulation mechanism selected for standardization by the NIST Post-Quantum Cryptography (PQC) project. A critical component of Kyber's key generatio…
LaSDVS : A Post-Quantum Secure Compact Strong-Designated Verifier Signature
Shanu Poddar, Sweta Mishra, Tapaswini Mohanty +2
Digital signatures are fundamental cryptographic primitives that ensure the authenticity and integrity of digital communication. However, in scenarios involving sensitive interacti…
Isogeny-based Post-Quantum Proxy Signature for Internet of Things
Somnath Kumar, Kunal Dey, Vikas Srivastava +3
The rapid growth of the Internet of Things (IoT) introduces challenges in secure authentication and delegation due to the limited computational capabilities of devices. Proxy signa…
An Experimentally Validated Feasible Quantum Protocol for Identity-Based Signature with Application to Secure Email Communication
Tapaswini Mohanty, Vikas Srivastava, Sumit Kumar Debnath +3
Digital signatures are one of the simplest cryptographic building blocks that provide appealing security characteristics such as authenticity, unforgeability, and undeniability. In…
Blockchain-Envisioned Post-Quantum Secure Sanitizable Signature for Audit Logs Management
Vikas Srivastava, Paresh Baidya, Sihem Mesnager +2
Audit logs are one of the most important tools for transparently tracking system events and maintaining continuous oversight in corporate organizations and enterprise business syst…
Quantum Secure Protocols for Multiparty Computations
Tapaswini Mohanty, Vikas Srivastava, Sumit Kumar Debnath +1
Secure multiparty computation (MPC) schemes allow two or more parties to conjointly compute a function on their private input sets while revealing nothing but the output. Existing…