CoreScan

From Control to Chaos: A Comprehensive Formal Analysis of 5G’s Access Control (IEEE S&P 2025)

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
AC-barebone.smv		AC-barebone.smv
AC-indirect.smv		AC-indirect.smv
AC-nfdomain.smv		AC-nfdomain.smv
AC-other.smv		AC-other.smv
AC-roaming.smv		AC-roaming.smv
AC-slicing.smv		AC-slicing.smv
Makefile		Makefile
README.md		README.md
ce_parser.py		ce_parser.py

Provide feedback