Statistics
Publications
2
Citations
114
H-Index
2
Active since
2014
Affiliations
Imperial College London(Current)
Daiva Naudžiūnienė is an author at Imperial College London specializing in data security, formal specification, and formal methods.
Publications per year
2014–2017
2
2
A trusted mechanised JavaScript specification
Martin Bodin, Arthur Charguéraud, Daniele Filaretti et al. · 2014 · 86 citations
JaVerT: JavaScript verification toolchain
José Fragoso Santos, Petar Maksimović, Daiva Naudžiūnienė et al. · Proceedings of the ACM on Programming Languages · 2017 · 28 citations · Full text
1–2 of 2