activity
20182026
most citedTaming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS

4 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.LO2026

Improved Tristate Multiplication With Formalization in Rocq

Nandakumar Edamana, Piyush P Kurur, Unnikrishnan Cheramangalath

We give a new multiplication algorithm for tristate numbers improving upon the state-of-the-art implementation from the Linux kernel in terms of precision and formal proofs. Our al…

cs.LG2026

HEHRGNN: A Unified Embedding Model for Knowledge Graphs with Hyperedges and Hyper-Relational Edges

Rajesh Rajagopalamenon, Unnikrishnan Cheramangalath

Knowledge Graph(KG) has gained traction as a machine-readable organization of real-world knowledge for analytics using artificial intelligence systems. Graph Neural Network(GNN), i…