Software security - Security testing

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Page 3 of 3

Quantum Key Distribution, Dense Coding, Teleportation

Covers QKD, Dense Coding, and Teleportation, explaining attacks, basis choices, and security tests.

A Method for Solving Complex Problems

Introduces a method for solving complex problems, emphasizing the importance of understanding the problem statement accurately.

Testing and Debugging

Explores the history of computing, automated testing, TDD, test coverage, bug reports, and debugging.

Software Correctness: Testing and Verification

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

IT Security Challenges

Explores IT security challenges, Object Storage systems, website management transition, network security deployment, and project portfolio management at EPFL.

Replica Method: Computation and Heuristics

Covers the replica method for computing expectations and the heuristic evaluation of expressions.

Security Principles: Work Factor & Compromise Recording

Explores the work factor and compromise recording principles in computer security, emphasizing cost evaluation and tamper-evident logs.

Static Analysis for Amy: Introduction to AST-based Analysis

Introduces AST-based analysis and its benefits over testing, covering its applications, rule implementations, and limitations.