https://github.com/stijncaerts/doss

Development of Secure Software: course summary
https://github.com/stijncaerts/doss

security

Last synced: 4 months ago
JSON representation

Development of Secure Software: course summary

• Host: GitHub
• URL: https://github.com/stijncaerts/doss
• Owner: StijnCaerts
• Created: 2017-10-20T15:53:36.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-10-26T10:48:17.000Z (over 7 years ago)
• Last Synced: 2025-03-04T23:17:11.328Z (over 1 year ago)
• Topics: security
• Language: TeX
• Size: 81.1 KB
• Stars: 6
• Watchers: 2
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Development of Secure Software: summary

This extensive summary of the course [**Development of Secure Software**](https://onderwijsaanbod.kuleuven.be/syllabi/e/H04K5AE.htm) at KU Leuven contains the most important contents of the slides and the MOOC on Web Security, as well as extra notes taken during the lectures. 

## Additional material

 - [Secret Key Exchange (Diffie-Hellman) - Computerphile](https://youtu.be/NmM9HA2MQGI) (video)

 - [Spec# interactive tool](https://rise4fun.com/SpecSharp/)