On One-way Functions and Kolmogorov Complexity
Explore the relationship between one-way functions and Kolmogorov complexity in this insightful IEEE talk by Cornell researchers Liu and Pass.
On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds
Explore connections between computational complexity theories, focusing on exponential-time hypotheses, derandomization techniques, and circuit lower bounds in theoretical computer science.
Towards Optimal Separations between Quantum and Randomized Query Complexities
Explore the intriguing gap between quantum and randomized query complexities, delving into cutting-edge research on optimal separations and their implications for computational theory.
A Quantum Query Complexity Trichotomy for Regular Languages
Explore quantum query complexity for regular languages, uncovering a trichotomy that advances understanding in computational theory and quantum algorithms.
Dynamic Matrix Inverse - Improved Algorithms and Matching Conditional Lower Bounds
Explore advanced algorithms for dynamic matrix inversion, including improved techniques and conditional lower bounds, enhancing computational efficiency in linear algebra applications.
Streaming and Learning Algorithms - Session 7C
Explore cutting-edge streaming and learning algorithms in this IEEE session, focusing on recent advancements and applications in data processing and machine learning.
Strings and Geometry in Computer Science - Session 6C
Explore advanced concepts in strings and geometry, focusing on cutting-edge research and applications in computer science and mathematics.
Dynamic Graphs - Session 8B
Explore cutting-edge research on dynamic graph algorithms and their applications in computer science at this IEEE FOCS 2020 session.
Dynamic Graphs - Session 7B
Explore cutting-edge research on dynamic graph algorithms and their applications in computer science at this IEEE FOCS 2020 session.
Complexity and Coding Theory - Session 6A
Explore cutting-edge research in complexity and coding theory, delving into advanced mathematical concepts and their applications in computer science and information theory.
Quantum Computing Advancements - Session 2A, Part 1
Explore cutting-edge quantum computing research and advancements in this IEEE FOCS 2020 session, featuring expert presentations on the latest developments in quantum algorithms and technologies.
Complexity Theory - Session 1A
Explore complexity theory in this IEEE conference session, delving into advanced concepts and recent developments in computational complexity.
FOCS 2020 Reports Session and Award Presentations
Highlights from the IEEE FOCS 2020 conference, featuring reports on cutting-edge research in theoretical computer science and presentations of prestigious awards in the field.
What Can Theoretical Computer Science Contribute to the Discussion of Consciousness
Explore the intersection of theoretical computer science and consciousness, examining potential insights and contributions to this complex philosophical debate.
Indistinguishability Obfuscation from Well-Founded Assumptions - Part 2
Explore advanced cryptographic concepts and techniques related to indistinguishability obfuscation, building on foundational assumptions in the field.
Predictions About Artificial Super Intelligence - Theoretical Limits and Capabilities
Explore theoretical limits and cutting-edge capabilities in AI, quantum computing, and more. Delve into concepts like the Landauer Limit, universal computation, and optimal intelligence to understand the future of machine cognition.
Quantum Proofs of Knowledge
Explore quantum zero-knowledge proofs and proofs of knowledge, including Watrous' quantum rewinding, extractor construction, and achieving strict soundness in quantum protocols.
All-But-Many Lossy Trapdoor Functions
Explore lossy trapdoor functions, their construction, and applications in cryptography with insights from Dennis Hofheinz's Eurocrypt 2012 presentation.
Zero Knowledge Proofs - Advances and Applications
Explore cutting-edge developments in zero-knowledge proofs and their applications in cryptography at this advanced Crypto 2022 conference session.
Secure Two-Party Computation - Part I
Explore cutting-edge developments in secure two-party computation protocols at Crypto 2023, featuring expert insights and latest research findings in cryptography.
Sublinear Proofs - Crypto 2023
Explore cutting-edge research on sublinear proofs in cryptography, presented at Crypto 2023. Gain insights into advanced cryptographic techniques and their applications.