Skip to content

hcrudolph/proverif-prins

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 

Repository files navigation

Formal Verification of the 5G Inter-Operator Signaling Protocol

Supplementary material to the thesis submitted to Hochschule Wismar University of Applied Sciences for the degree of Master of Engineering IT-Security and Forensic.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published