
Explore semi-automatic verification of unsafe Rust programs, focusing on adapting seL4's approach, translating to Isabelle/Simpl, and formalizing safety conditions.

Explore Rust support in the Linux kernel, its current status, and future plans. Learn about writing kernel modules in Rust and potential language features to enhance the project.

Explore Tauri: a Rust-based system for creating efficient, secure desktop apps using Web views. Learn its history, philosophy, and future prospects in this insightful talk.

Explore Security Chaos Engineering for proactive cloud-native security. Learn to inject controlled faults, analyze mechanisms, identify blind spots, and enhance resilience against cyber threats.

Wrap-up of Cloud Native Security Con, highlighting Security TAG's work, future plans, and ways to get involved. Covers whitepapers, assessments, audits, and ecosystem insights.

Explore cloud-native security strategies, from leadership buy-in to InfoSec collaboration. Learn to establish scalable programs, engage with organizational structures, and leverage upstream communities for guidance.

Explore multi-cloud strategies using service mesh for enterprise benefits. Learn about failover, best-of-class solutions, and flexible deployment patterns across cloud providers with secure private connections.

Hands-on workshop exploring multi-cluster service mesh with Istio and Gloo Mesh. Learn identity federation, cross-cluster communication, failover, and Web Assembly through practical labs and explanatory slides.

Explore WebAssembly's support for scripting languages, including benefits for developers and operators, language interoperability, ecosystem support, and performance characteristics.

Explore the importance of Security Champions programs in cybersecurity strategy, including implementation, costs, and benefits for scaling up security expertise in technical teams.

Explore a cloud-native security framework for CI/CD pipelines using in-toto, Kyverno, and sigstore. Learn to implement policy-based controls and address unique security challenges in modern application delivery.

Explore WebAssembly's impact on software development, focusing on portability, security, and streamlined management across diverse environments using CNCF wasmCloud.

Explore GraphQL's impact on API interactions, deployment patterns, security implications, and integration with existing services. Learn declarative vs programmatic approaches for scalable GraphQL implementation.

Explore innovative approaches to manage workload certificates in service mesh without persisting secrets, addressing security concerns and discussing tradeoffs among different methods.

Explore minification techniques and vulnerability assessments for optimizing cloud-native applications, enhancing security and performance.

Explore cloud-native adversary emulation with Stratus Red Team. Learn to identify and reproduce malicious activities in AWS and Kubernetes, enhancing threat detection capabilities for cloud environments.

Explore fuzzing techniques applied to CNCF projects, including Kubernetes and Etcd. Learn about challenges, results, and continuous integration with OSS-Fuzz for enhanced security.

Explore WASM-powered distributed stream processing with Fluvio, enabling efficient in-line computation and deployable anywhere. Learn about SmartModule integration and its benefits for various use cases.

Explore vulnerabilities in CI workflows and learn effective prevention strategies to enhance security in cloud-native environments.

Explore end-to-end encryption implementation using EnRoute OneStep and LinkerD for enhanced security in cloud-native applications.

Explore the fundamentals of service mesh architecture and its implementation in cloud-native environments, focusing on initial setup and configuration strategies.