Concepedia

Avik Chaudhuri

AC

Statistics

Publications

15

Citations

879

H-Index

13

Active since

2005

Affiliations

University of Maryland, College Park(Current)

Adobe Systems (United States)

University of California, Santa Cruz

Microsoft (United States)

Epic Systems (United States)

Avik Chaudhuri is an author at University of Maryland, College Park specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsProgram AnalysisSoftware AnalysisData SecurityInformation SecuritySoftware EngineeringAutomated Reasoning

Publications per year

2005–2012

15

Publications

15

SCanDroid: Automated Security Certification of Android

Adam P. Fuchs, Avik Chaudhuri, Jeffrey S. Foster · Digital Repository at the University of Maryland (University of Maryland College Park) · 2009 · 302 citations · Full text

Language-based security on Android

Avik Chaudhuri · 2009 · 105 citations

Mobile Security, Engineering, Information Security +16

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

Bruno Blanchet, Avik Chaudhuri · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 2008 · 73 citations

Engineering, Information Security, Verification +18

Dynamic inference of static types for ruby

Jong-hoon An, Avik Chaudhuri, Jeffrey S. Foster et al. · ACM SIGPLAN Notices · 2011 · 62 citations

Engineering, Software Engineering, Software Analysis +18

Symbolic security analysis of ruby-on-rails web applications

Avik Chaudhuri, Jeffrey S. Foster · 2010 · 59 citations

Software Maintenance, Engineering, Usable Security +21

1–5 of 15