This archive contains the evaluation data we produced during the evaluation of our prototype implementation of HCC from our paper HCC: A Language-Independent Hardening Contract Compiler for Smart C
Following the 2011 accident at the Fukushima Daiichi nuclear power plant, several high-priority actions were initiated by the NEA to address certain technical issues at nuclear power plants.
Organisation for Economic Co-operation and Development30
The SecureNPM Score Analysis API provides comprehensive insights on npm package information, including security assessment and scoring. Analyze npm packages with confidence and ensure the security of
This project was an investigation of multiple transport category airplane Type III door dimension changes to evaluate its general impact on safety and egress speed. The goal was to provide rule makers
