36
Publications
3.8K
Citations
25
H-Index
2000
Active since
Dávid Molnár is an author at Microsoft (United States) specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware AnalysisData SecurityProgram AnalysisData PrivacyInformation SecurityFormal VerificationHardware SecurityPrivacy
Publications per year
2000–2017
36
36
Privacy and security in library RFID
Dávid Molnár, David Wagner · 2004 · 686 citations
Engineering, Information Security, Radio Frequency Identification +18
Patrice Godefroid, Michael Y. Levin, Dávid Molnár · Communications of the ACM · 2012 · 554 citations
Software Maintenance, Software Development Practice, Remarkable Impact +10
SAGE: Whitebox Fuzzing for Security Testing
Patrice Godefroid, Michael Y. Levin, Dávid Molnár · Queue · 2012 · 311 citations · Full text
Engineering, Verification, Education +20
Enabling security in cloud storage SLAs with CloudProof
Raluca Ada Popa, Jacob R. Lorch, Dávid Molnár et al. · 2011 · 229 citations
Rows per page
1–5 of 36