• EPSRC/IBM PhD scholarship on Security of Foundation Models.
• Machine Learning and Cyber Security Symposium: ML-CSS@Imperial
• Test your browser security against Web standards, quickly and automatically with BrowserAudit.
• Network and Web Security UG/PG course from Imperial College London.
• Applied Network Security UG/PG course from Imperial College London.
• Learn about PHP: KPHP: An Executable Formal Semantics for PHP.
• Learn about JavaScript:
  • An Operational Semantics for JavaScript.
  • JSCert: Certified JavaScript.
  • Defensive JavaScript and Crypto library.