Michele Dinelli
[~]
[Teaching]
[Projects]
[About]
On Proving The Security Of Message Authentication Codes Using Lamba-BLL and Hoare Logic
Summary: My master’s thesis
Reading time: 1 minutes
Commit:
d7e9c01
github.com/micheledinelli/master-thesis
Previous
Next
/
[pdf]
View the PDF file
here
.