Food Safety Courses

IEEE

Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses

Explore smart home security through natural automation patterns, leveraging user-created routines to generate realistic scenarios for practical safety analyses and policy development.

• YouTube
• 17 minutes
• On-Demand
• Free Video

IEEE

VerX: Safety Verification of Smart Contracts

Explore automated safety verification for smart contracts using VerX, covering specification challenges, verification techniques, and practical applications in blockchain security.

• YouTube
• 15 minutes
• On-Demand
• Free Video

IEEE

VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Explore a precise safety verifier for Ethereum smart contracts, addressing critical security issues and showcasing advanced automated verification techniques for blockchain technology.

• YouTube
• 17 minutes
• On-Demand
• Free Video

IEEE

Safety to the Weak! Security Through Feebleness - An Unorthodox Manifesto

Explore unorthodox approaches to software-defined infrastructure security, focusing on weak semantics and finite-state systems for improved verification and bug prevention in networking and configuration models.

• YouTube
• 23 minutes
• On-Demand
• Free Video

USENIX

Food for Thought - What Restaurants Can Teach Us about Reliability

Explore how restaurant operations parallel computer system reliability, drawing insights from dining experiences to enhance understanding of complex system management and fault tolerance.

• YouTube
• 30 minutes
• On-Demand
• Conference Talk

USENIX

Beyond Firefighter vs. Safety Matches - Growing the DevSecOps Pipeline

Explore strategies for balancing specialization and generalization in DevSecOps talent development, addressing challenges in modern systems development, operations, and security.

• YouTube
• 28 minutes
• On-Demand
• Conference Talk

USENIX

A Systems Approach to Safety and Cybersecurity

Explore systems thinking for safety and cybersecurity, integrating approaches to manage emergent properties and control problems in complex systems.

• YouTube
• 46 minutes
• On-Demand
• Conference Talk

USENIX

Tackling the Trust and Safety Crisis

Exploring challenges in building safe, trustworthy tech products for billions globally, drawing from past mistakes and suggesting ways forward in this complex, multidisciplinary issue.

• YouTube
• 1 hour 4 minutes
• On-Demand
• Conference Talk

USENIX

Food and Liquid Sensing in Practical Environments Using RFIDs

Innovative RF sensing system for non-invasive food and liquid identification in closed containers, achieving high accuracy across various applications and environments.

• YouTube
• 23 minutes
• On-Demand
• Conference Talk

Epicurious

Levels of Tostadas: Amateur to Food Scientist

Culinary journey exploring tostada preparation across skill levels, from amateur to professional, with expert analysis on techniques, ingredients, and flavor combinations.

• YouTube
• 23 minutes
• On-Demand
• Free Video

IEEE

Towards Automated Safety Vetting of PLC Code in Real World Plants - Mu Zhang

Automated safety vetting for PLC code in industrial plants using temporal context-aware program analysis. Generates timed event sequences to detect hidden safety violations in real-world scenarios.

• YouTube
• 23 minutes
• On-Demand
• Free Video

Kaspersky

The Memory Corruption Safety Dance

Explore memory safety vulnerabilities, their mitigation strategies, and the future of cybersecurity in this comprehensive analysis of defense-in-depth approaches and exploit techniques.

• YouTube
• 34 minutes
• On-Demand
• Conference Talk

Dr. D-Flo

3D Food Printer Build

Learn to build a custom 3D food printer using a syringe pump, X-Carve frame, and high-power stepper drivers. Explore the challenges and solutions for printing edible frosting with large-scale precision.

• YouTube
• 16 minutes
• On-Demand
• Free Video

The Engineers Post

How Different Car Crash Tests Are Conducted to Evaluate the Safety of Cars

Explore various car crash tests used to evaluate vehicle safety, including frontal impact, side impact, rollover, and rear impact tests. Learn about crash test dummies and safety ratings.

• YouTube
• 18 minutes
• On-Demand
• Free Video

Hack In The Box Security Conference

Fuzzing the MCU of Connected Vehicles for Security and Safety

Fuzzing techniques for MCU security in connected vehicles, using ARM ETM and code coverage-guided approach to enhance vulnerability detection and system robustness.

• YouTube
• 25 minutes
• On-Demand
• Conference Talk