Vivek Haldar

587 total citations
16 papers, 378 citations indexed

About

Vivek Haldar is a scholar working on Artificial Intelligence, Signal Processing and Computer Networks and Communications. According to data from OpenAlex, Vivek Haldar has authored 16 papers receiving a total of 378 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 7 papers in Signal Processing and 6 papers in Computer Networks and Communications. Recurrent topics in Vivek Haldar's work include Security and Verification in Computing (10 papers), Advanced Malware Detection Techniques (7 papers) and Logic, programming, and type systems (6 papers). Vivek Haldar is often cited by papers focused on Security and Verification in Computing (10 papers), Advanced Malware Detection Techniques (7 papers) and Logic, programming, and type systems (6 papers). Vivek Haldar collaborates with scholars based in United States and United Kingdom. Vivek Haldar's co-authors include Michael Franz, Michael Franz, Deepak Chandra, Christian W. Probst, Peter Fröhlich, Wolfram Amme, Andreas Gal, Jeffery von Ronne, Chandra Krintz and Andreas Hartmann and has published in prestigious journals such as Frontiers in Genetics, Science of Computer Programming and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Vivek Haldar

16 papers receiving 322 citations

Peers

Vivek Haldar
Jed Liu United States
Timothy L. Hinrichs United States
Heiko Mantel Germany
Pieter Agten Belgium
David Lazar United States
Lantian Zheng United States
Amy L. Herzog United States
Morrie Gasser United States
Jed Liu United States
Vivek Haldar
Citations per year, relative to Vivek Haldar Vivek Haldar (= 1×) peers Jed Liu

Countries citing papers authored by Vivek Haldar

Since Specialization
Citations

This map shows the geographic impact of Vivek Haldar's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Vivek Haldar with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Vivek Haldar more than expected).

Fields of papers citing papers by Vivek Haldar

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Vivek Haldar. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Vivek Haldar. The network helps show where Vivek Haldar may publish in the future.

Co-authorship network of co-authors of Vivek Haldar

This figure shows the co-authorship network connecting the top 25 collaborators of Vivek Haldar. A scholar is included among the top collaborators of Vivek Haldar based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Vivek Haldar. Vivek Haldar is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

16 of 16 papers shown
1.
Haldar, Vivek, et al.. (2006). Dynamic Taint Propagation for Java. 303–311. 164 indexed citations
2.
Franz, Michael & Vivek Haldar. (2006). Semantic remote attestation. 4 indexed citations
3.
Franz, Michael, et al.. (2005). A portable virtual machine target for proof-carrying code. Science of Computer Programming. 57(3). 275–294. 1 indexed citations
4.
Haldar, Vivek & Michael Franz. (2005). Symmetric behavior-based trust. 79–79. 7 indexed citations
5.
Haldar, Vivek, Deepak Chandra, & Michael Franz. (2004). Semantic remote attestation: a virtual machine directed approach to trusted computing. Frontiers in Genetics. 13. 3–3. 147 indexed citations
6.
Haldar, Vivek, Deepak Chandra, & Michael Franz. (2004). Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing.. 29–41. 9 indexed citations
7.
Franz, Michael, Wolfram Amme, Peter Fröhlich, et al.. (2004). Making mobile code both safe and efficient. 32. 337–356. 3 indexed citations
8.
Haldar, Vivek, et al.. (2003). Virtual-Machine Driven Dynamic Voltage Scaling. eScholarship (California Digital Library). 7 indexed citations
9.
Franz, Michael, et al.. (2003). A portable Virtual Machine target for Proof-Carrying Code. 24–31. 5 indexed citations
10.
Amme, Wolfram, et al.. (2002). Project TRANSPROSE: reconciling mobile-code security with execution efficiency. 2. 196–210. 5 indexed citations
11.
Haldar, Vivek, et al.. (2002). The source is the proof. 69–73. 7 indexed citations
12.
Franz, Michael, et al.. (2002). Online Verification of Offline Escape Analysis. 1 indexed citations
13.
Haldar, Vivek. (2002). Verifying data flow optimizations for just-in-time compilation. 3 indexed citations
14.
Haldar, Vivek & Michael Franz. (2002). Towards trusted systems from the ground up. 251–251. 1 indexed citations
15.
Haldar, Vivek, et al.. (2001). Generic Adaptive Syntax-Directed Compression for Mobile Code. eScholarship (California Digital Library). 12 indexed citations
16.
Haldar, Vivek, et al.. (2001). Towards Language-Agnostic Mobile Code. Electronic Notes in Theoretical Computer Science. 59(1). 142–157. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026