
Explore post-quantum cryptography hardware implementations in this CHES 2024 session, covering cutting-edge research and advancements in the field.

Explore cutting-edge fault resistance techniques in cryptographic hardware at CHES 2024, chaired by Pascal Sasdrich. Gain insights into latest research and advancements in this critical field.

Explore post-quantum cryptography advancements and speed optimizations in this CHES 2024 session, chaired by Robert Primas.

Explore theoretical aspects of whitebox cryptography in this CHES 2024 session, chaired by Bart Preneel, delving into advanced security concepts and research findings.

Explore advanced whitebox cryptography techniques and their applications in secure systems, chaired by renowned cryptographer Bart Preneel at CHES 2024.

Comprehensive comparison of popular markup languages for technical documentation, exploring their strengths, weaknesses, and use cases to help choose the right tool for your project.

Learn best practices for documenting new projects, from preparation to execution. Discover strategies to simplify the process, manage technical debt, and ensure long-term maintainability.

Explore responsible AI's role in ethical tech development, focusing on the Generative AI Commons framework for transparency, fairness, and inclusivity across the AI lifecycle.

Explore ethical AI development in Asia, focusing on data privacy, cybersecurity, and regulatory compliance. Learn strategies for responsible innovation in the region's diverse tech landscape.

Develop a custom YOLOv8 model for real-time basketball object detection, covering automatic labeling, model training, and live inference on game footage.

Learn to build an Arduino-based electronic escape room puzzle that tests reactions and dexterity. Create a rotating LED game with multiple difficulty levels, visual feedback, and an electromagnetic lock release mechanism.

Explore Khan Academy's Khanmigo, an AI-powered Socratic tutor that enhances student learning through personalized guidance and interactive problem-solving.

Explore inductive definitions, predicativity, and the Mahlo universe in type theory with Peter Dybjer. Gain insights into advanced mathematical concepts and their applications.

Explore structural rules and algebraic properties of intersection types in lambda calculus, examining their impact on type assignment systems and programming language theory.

Explore Metamath Zero, a powerful tool for exporting and formalizing mathematical logic, enhancing proof verification and theorem-proving capabilities.

Insights into electronic information and communication in mathematics from the perspective of the IMU committee, exploring current trends and future directions.

Explore challenges in formalizing recent results linking formal language theory and computational group theory, with insights on making proofs more amenable to formalization.

Explore AI's potential to revolutionize scientific research across materials science, bioscience, and physics, with insights from Microsoft's Chief Scientific Officer and renowned physicist Brian Greene.

Explore compassion, curiosity, and grace as pathways to understanding and creating positive change in society through dialogue and leadership.

Veteran journalists discuss religion's importance in American life and media's struggle to accurately cover it, offering insights on improving religious literacy in newsrooms.

Explore the intersection of race, religion, and identity in America, examining pluralism, justice, and resilience in challenging times while cultivating hope for a more equitable society.