nerdhouse / year-4-notes

Notes for Computer Science Fourth Year at the University of Birmingham

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Year 4 Notes

First Term

Cryptography

Lecture Slides | Notes | Canvas

Designing Secure Systems

Lecture Slides | Notes | Canvas | Past Papers

Secure Programming

Lecture Slides | Notes | Canvas | Past Papers

Secure System Management

Lecture Slides | Notes | Canvas | Past Papers

Compilers and Languages

Lecture Slides | Notes | Canvas | Past Papers

Machine Learning

Lecture Slides | Notes | Canvas | Past Papers

Networks

Lecture Slides | Notes | Canvas | Past Papers

Second Term

Distributed and Parallel Computing

Lecture Slides | Notes | Canvas | Past Papers

Hardware and Embedded Systems Security

Notes | Canvas

Computer Aided Verification

Lecture Slides | Notes | Canvas | Past Papers

Network Security

Lecture Slides | Notes | Canvas

Advanced Functional Programming

Lecture Code | Notes | Canvas

About

Notes for Computer Science Fourth Year at the University of Birmingham


Languages

Language:Agda 100.0%