Daniele Filaretti is an author at Imperial College London specializing in technology, formal specification, and data security.
Top concepts
TechnologyEngineeringVerificationData SecurityFormal MethodsSoftware DesignComputer ScienceProgram AnalysisHardware SecuritySoftware Analysis
Publications per year
2014–2018
2
2
A trusted mechanised JavaScript specification
Martin Bodin, Arthur Charguéraud, Daniele Filaretti et al. · 2014 · 86 citations
Rows per page
1–2 of 2