P. Madhusudan

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

ConjunCT: Learning Inductive Invariants to Prove Unbounded Instruction Safety Against Microarchitectural Timing Attacks

Sushant Dinesh and others (2024) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society

A First-Order Logic with Frames

Adithya Murali and others (2020) · 29th European Symposium on Programming (ESOP) · Springer

Natural proofs for structure, data, and separation

X. Qiu and others (2013) · Association for Computing Machinery (ACM)

Decidable logics combining heap structures and data

P. Madhusudan and others (2011) · ACM SIGPLAN Notices · Association for Computing Machinery (ACM)