We stand with Ukraine  

Keshav Singh

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2025
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols.
[BibTeX]
[DOI]
Tony Nuda Zhang
,
Keshav Singh
,
Tej Chajed
,
Manos Kapritsos
,
Bryan Parno
Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025

2024
Energy-efficient UOWC-RF systems with SLIPT.
[BibTeX]
[DOI]
Amit Agarwal
,
Keshav Singh
Trans. Emerg. Telecommun. Technol., January, 2024

2023
Enhanced Physical Layer Security for Wireless Systems with Non-Diagonal IRS.
[BibTeX]
[DOI]
Amit Agarwal
,
Keshav Singh
Proceedings of the IEEE International Conference on Advanced Networks and Telecommunications Systems, 2023

2017
Comprehensive Study for Detection of Weak Resistive Open and Short Defects in FDSOI Technology.
[BibTeX]
[DOI]
Amit Karel
,
Florence Azaïs
,
Mariane Comte
,
Jean-Marc Gallière
,
Michel Renovell
,
Keshav Singh
Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

Detection of resistive open and short defects in FDSOI under delay-based test: Optimal VDD and body biasing conditions.
[BibTeX]
[DOI]
Amit Karel
,
Florence Azaïs
,
Mariane Comte
,
Jean-Marc Gallière
,
Michel Renovell
,
Keshav Singh
Proceedings of the 22nd IEEE European Test Symposium, 2017

2015
Energy-efficient power allocation with spectrum sensing in cognitive radio networks.
[BibTeX]
[DOI]
Ramnaresh Yadav
,
Keshav Singh
,
Ashwani Kumar
,
Tanya Kumar
Proceedings of the 2015 IEEE/CIC International Conference on Communications in China, 2015

Energy-efficient resource allocation in multiuser decode-and-forward relay networks.
[BibTeX]
[DOI]
Keshav Singh
,
Ramnaresh Yadav
,
Ashwani Kumar
Proceedings of the 2015 IEEE/CIC International Conference on Communications in China, 2015


  Loading...