ms-pac

Here is 1 public repository matching this topic...

adilalperenciftci / identity-invariants

Deterministic verification of Microsoft identity protocol invariants: typed OAuth/OIDC/JWT oracles, bounded MS-PAC parser, and sealed dMSA/Kerberos observations from an isolated Windows Server 2025 lab

oauth2 active-directory property-based-testing kerberos openid-connect security-research windows-server-2025 dmsa ms-pac

Updated Nov 4, 2026
HTML

Add this topic to your repo

To associate your repository with the ms-pac topic, visit your repo's landing page and select "manage topics."

Learn more