Skip to content

TendTo/Computer-Security

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
.github/workflows
.github/workflows
 
 
ImageEncryption
ImageEncryption
 
 
Proverif
Proverif
 
 
Tamarin
Tamarin
 
 
README.md
README.md
 
 

Repository files navigation

Computer security experiments

About

Esperimenti e progetti realizzati durante il corso di Computer Security 2021/2021

Topics

security cryptography proverif computer-security tamarin-prover

Resources

Readme
Activity

Stars

3 stars

Watchers

1 watching

Forks

0 forks
Report repository

Contributors

Languages