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
- 13 followers
- INESC-ID Lisboa, Portugal
- https://formalsec.github.io
Pinned Loading
Repositories
Showing 10 of 28 repositories
-
-
-
-
- graphjs Public
MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.
-
Top languages
Loading…
Most used topics
Loading…