Formalsec is dedicated to enhancing system security through the power of formal methods, connecting rigorous research with real-world cybersecurity challenges.
Formal Security for Web Technologies
Research Group
- 14 followers
- INESC-ID Lisboa, Portugal
- https://formalsec.github.io
Pinned Loading
Repositories
Showing 10 of 27 repositories
- ECMA-SL-pub Public
formalsec/ECMA-SL-pub’s past year of commit activity - graphjs Public
MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.
formalsec/graphjs’s past year of commit activity - ast-gen Public
formalsec/ast-gen’s past year of commit activity - explodejs-datasets Public
formalsec/explodejs-datasets’s past year of commit activity - explode-js_ng Public
formalsec/explode-js_ng’s past year of commit activity - test262 Public
formalsec/test262’s past year of commit activity - ecmasl-vim Public
formalsec/ecmasl-vim’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…