Lectures related to Software Security: Security Testing - Sanitizers

Software Correctness: Testing and Verification

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

Property-Based Testing: QuickChick

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Complex Data Structures: Pointers and Dynamic Allocation

Explores pointers for complex data structures, the main() function in C, and memory management, emphasizing dynamic allocation best practices.

DevSecOps: Security in DevOps Culture

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

Software Testing: Avoiding and Fixing Bugs

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Project Management: Portfolio Management

Focuses on project planning, execution, and key user involvement for effective project management.

Circuits in Emerging Nanotechnologies

Explores the challenges and opportunities in emerging nanotechnologies, focusing on new memory technologies and the need for architectural innovations.