2
Publications
50
Citations
2
H-Index
2010
Active since
Affiliations
University of California, Davis(Current)
Anandarup Sarkar is an author at University of California, Davis specializing in formal verification, data security, and formal methods.
Top concepts
EngineeringData PrivacyData ScienceVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware Analysis
Publications per year
2010–2014
2
2
Linking multiple workflow provenance traces for interoperable collaborative science
Paolo Missier, Bertram Ludäscher, Shawn Bowers et al. · 2010 · 38 citations
Insider Attack Identification and Prevention Using a Declarative Approach
Anandarup Sarkar, Sven Köhler, Sean Riddle et al. · 2014 · 12 citations
Rows per page
1–2 of 2