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 29 repositories
- ECMA-SL-pub Public
formalsec/ECMA-SL-pub’s past year of commit activity - symbolic-js-dataset Public
formalsec/symbolic-js-dataset’s past year of commit activity - formalsec.github.io Public
formalsec/formalsec.github.io’s past year of commit activity - explodejs-datasets Public
formalsec/explodejs-datasets’s past year of commit activity
Most used topics
Loading…