Skip to content

hcrudolph/proverif-prins

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Hans Christian Rudolph
Aug 26, 2020
13fcd01 · Aug 26, 2020

History

3 Commits
Aug 26, 2020
Aug 26, 2020
Aug 26, 2020

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