MICHELE DINELLI
[~]
[TEACHING]
[PROJECTS]
[ABOUT]
ON PROVING THE SECURITY OF MESSAGE AUTHENTICATION CODES USING LAMBA-BLL AND HOARE LOGIC
Summary: My master’s thesis
Commit:
ea5c303
Reading time: 1 minute
Repository:
https://github.com/micheledinelli/master-thesis
Previous
Next
/
[pdf]
View the PDF file
here
.
Previous
Next
/
[pdf]
View the PDF file
here
.