Homeland Security Courses

IEEE

Multiple Handshakes Security of TLS 1.3 Candidates

Explores security aspects of TLS 1.3 candidates, focusing on multiple handshake protocols. Introduces a multi-level security model and proves the soundness of TLS 1.3 security design.

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

IEEE

The Correctness-Security Gap in Compiler Optimization

Explores how compiler optimizations can preserve functionality but violate security guarantees, proposing research to identify and mitigate security errors introduced during optimization.

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

IEEE

Dangerous Skills - Understanding and Mitigating Security Risks of Voice-Controlled Third-Party Functions on Virtual Personal Assistant Systems

Explore security vulnerabilities in virtual personal assistants, focusing on voice squatting and masquerading attacks. Learn about risks and mitigation strategies for third-party functions on smart speakers.

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

IEEE

Understanding the Security of ARM Debugging Features

Comprehensive analysis of ARM debugging features' security implications across various platforms, exposing vulnerabilities and demonstrating the Nailgun attack to highlight potential risks.

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

IEEE

Lay Down the Common Metrics - Evaluating Proof of Work Consensus Protocols' Security

Quantitative analysis framework for evaluating security of Proof of Work consensus protocols, revealing vulnerabilities and proposing improvements for blockchain systems.

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

IEEE

Deciding Equivalence Properties in Security Protocols - Theory and Practice

Automated verification of cryptographic protocols: new complexity results and decision procedures for static equivalence, trace equivalence, and labelled bisimilarity, with implementation in the DEEPSEC tool.

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

IEEE

Security Analysis of Emerging Smart Home Applications

Empirical security analysis of SmartThings smart home platform reveals design flaws leading to overprivilege and vulnerabilities in event subsystem, demonstrating potential risks in emerging IoT frameworks.

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

IEEE

Security of the J-PAKE Password-Authenticated Key Exchange Protocol

Comprehensive security analysis of J-PAKE protocol, proving its robustness against various attacks and demonstrating its suitability for practical use in password-authenticated key exchange.

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

IEEE

Connection-Oriented DNS to Improve Privacy and Security

Enhancing DNS privacy and security through TCP and TLS, addressing eavesdropping, spoofing, and DoS attacks while maintaining performance with careful implementation choices.

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

IEEE

Security Foundations for Application-Based Covert Communication Channels

Explore covert communication channels in applications, focusing on security foundations, techniques, and potential implications for network security and privacy.

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

IEEE

Flawed, but Like Democracy We Don't Have a Better System - The Experts' Insights on the Peer Review Process of Evaluating Security Papers

Experts discuss insights on the peer review process for security papers, exploring flaws and potential improvements in academic evaluation.

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

IEEE

How Does Usable Security Not End Up in Software Products - Results From a Qualitative Interview Study

Explore findings from qualitative interviews on the challenges of implementing usable security in software products, revealing insights for developers and security professionals.

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

IEEE

TASHAROK - Using Mechanism Design for Enhancing Security Resource Allocation in Interdependent Systems

Explore mechanism design for optimizing security resource allocation in interconnected systems, enhancing overall protection and addressing interdependencies.

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

IEEE

Ethics in Security and Privacy Research Panel

Explore ethical considerations in security and privacy research through expert insights and discussions on best practices, challenges, and future directions.

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

IEEE

Birds of a Feather - A Hardware & Security Panel

Engaging panel discussion on hardware security and defense strategies, featuring industry experts debating apocalypse preparedness in the context of cybersecurity.

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