Lectures related to Software security - Security testing

Software Security: Security Testing - Sanitizers

Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.

Automated Testing: Fuzzing and Sanitization

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Software Security Vulnerabilities: Case Studies

Explores various software security vulnerabilities and the challenges of testing large codebases.

Adversarial Thinking: Reasoning as an Adversary

Explores the importance of understanding attacks and the reasoning behind adversarial thinking in developing security mechanisms.

HexHive: Research and Impact

Explores the HexHive project's research questions, bug pruning techniques, and industry collaborations, showcasing its impactful alumni.

Static Analysis for Amy: Techniques and Implementations

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

Zero Days Vulnerability: Security Breaches on Personal Devices

Explores zero days vulnerability, ethical hacking, cyber attacks, and defense strategies against cyber threats.

Vertical Movement: Equations and Integration MOOC: Mechanics: Change of Reference Frame and Relativity

Explores equations of vertical movement under gravity and their integration, as well as horizontal movement with stress conditions and the Foucault pendulum heuristic.

Finite Element Analysis: Advanced Mechanisms in Engineering

Provides an overview of advanced mechanisms analysis using Finite Element Method and Finite Element Analysis in engineering applications.

Cybersecurity: Threat Modeling and Solutions

Explores cybersecurity fundamentals, threat modeling, real-world case studies, and digital forensics procedures.

A Method for Solving Complex Problems MOOC: Learning to study science and engineering

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

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.

Quantum Key Distribution, Dense Coding, Teleportation

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

Security Testing and Spoofing Log in to Mediaspace to watch this video

Covers security testing techniques, spoofing vulnerabilities, encryption bans, and network security properties.

Testing Strategies: Code Coverage and Quality Log in to Mediaspace to watch this video

Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.

DevSecOps: Security in DevOps Culture Log in to Mediaspace to watch this video

Explores the integration of security practices within the DevOps culture, emphasizing the importance of adding security measures throughout the software development lifecycle.

HTTP Desync: Request Smuggling Reborn Log in to Mediaspace to watch this video

Explores HTTP request smuggling, a vulnerability to bypass security controls, with examples and defense strategies.

Abstract Interpretation and Octagon Domain Log in to Mediaspace to watch this video

Explores abstract interpretation principles and the Octagon domain, emphasizing precision-efficiency trade-offs and static program analysis.