Software Engineering Courses

IEEE

CHERI - A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

Explores CHERI architecture for enhanced memory protection and software compartmentalization, demonstrating improved scalability and security benefits over traditional MMU designs.

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

IEEE

CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More

Explore compiler infrastructure for proof systems and software verification, focusing on CirC's capabilities, multiparty computation, and potential applications in various domains.

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

IEEE

PLATYPUS - Software-Based Power Side-Channel Attacks on x86

Explore software-based power side-channel attacks on x86 systems, including measurement techniques, KASLR, correlation methods, and mitigation strategies.

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

IEEE

SPIDER - Enabling Fast Patch Propagation in Related Software Repositories

Explore fast patch propagation in software repositories, focusing on security patches, solution requirements, and implementation techniques for efficient and safe updates.

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

IEEE

Automated Reverse Engineering and Privacy Analysis of Modern Cars

Uncover hidden data collection in modern cars using AutoCAN tool. Reveals GPS tracking, occupant info, usage stats, and remote control capabilities through automated network analysis and reverse engineering.

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

IEEE

An Analysis of Pre-installed Android Software

Comprehensive analysis of pre-installed Android software, exploring security and privacy implications, stakeholder relationships, and potential risks in the Android ecosystem.

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

IEEE

Plundervolt - Software-Based Fault Injection Attacks against Intel SGX

Explore software-based fault injection attacks on Intel SGX, focusing on the Plundervolt technique that exploits voltage scaling interfaces to compromise enclave computations and cryptographic algorithms.

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

USENIX

DO, RE, Me - Measuring the Effectiveness of Site Reliability Engineering

Explore the relationship between DevOps and SRE, their effectiveness, and how elite software delivery teams can benefit from modernizing technical operations.

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

USENIX

Release Engineering Best Practices at Google

Explore Google's release engineering practices, including bazel usage, branching strategies, and automated systems. Learn about disciplines, philosophies, and techniques for improving release processes.

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

USENIX

Engineering Onboarding

Industry experts discuss challenges, changes, and future trends in engineering onboarding, covering remote work, diversity, training methods, and strategies for improving new hire experiences.

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

USENIX

Kind Engineering - How to Engineer Kindness

Explore practical strategies for fostering kindness in software engineering, covering code reviews, psychological safety, feedback, and workplace honesty to create happier teams and companies.

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

USENIX

Principles of Chaos Engineering

Explore principles of Chaos Engineering to improve resilience in distributed systems. Learn techniques for surfacing inherent chaos and building confidence in system behavior at scale.

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

USENIX

fTPM - A Software-Only Implementation of a TPM Chip

Explore software-based TPM implementation using ARM TrustZone, overcoming hardware limitations to provide robust security features for trusted computing in mobile devices.

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

USENIX

Keepers of the Machines - Examining How System Administrators Manage Software Updates

Examining system administrators' software update management practices, challenges, and potential improvements for multiple machines to enhance organizational cybersecurity.

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

USENIX

Libmpk - Software Abstraction for Intel Memory Protection Keys

Explore libmpk, a software abstraction enhancing Intel MPK's security and scalability. Learn about its implementation, benefits, and applications in OpenSSL, JavaScript JIT, and Memcached.

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