Concepedia

Anchal Nema

AN

Statistics

Publications

1

Citations

11

H-Index

1

Active since

2009

Affiliations

Indian Institute of Technology Kharagpur(Current)

Anchal Nema is an author at Indian Institute of Technology Kharagpur specializing in formal verification, software engineering, and static analysis.

Top concepts

EngineeringFormal MethodsStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisSoftware Security

Publications per year

2009–2009

1

Publications

1

Hybrid analysis of executables to detect security vulnerabilities

Pranith D. Kumar, Anchal Nema, Rajeev Kumar · 2009 · 11 citations

Engineering, Software Engineering, Source Code Analysis +18

1–1 of 1