Valentine Kabanets

Affiliations:
  • Simon Fraser University, Burnaby, Canada


According to our database1, Valentine Kabanets authored at least 64 papers between 1997 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The Power of Natural Properties as Oracles.
Comput. Complex., December, 2023

Mutual Empowerment between Circuit Obfuscation and Circuit Minimization.
Electron. Colloquium Comput. Complex., 2023

Improved Learning from Kolmogorov Complexity.
Electron. Colloquium Comput. Complex., 2023

Synergy Between Circuit Obfuscation and Circuit Minimization.
Proceedings of the Approximation, 2023

2022
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371).
Dagstuhl Reports, September, 2022

Probabilistic Kolmogorov Complexity with Applications to Average-Case Complexity.
Electron. Colloquium Comput. Complex., 2022

A Simpler Proof of the Worst-Case to Average-Case Reduction for Polynomial Hierarchy via Symmetry of Information.
Electron. Colloquium Comput. Complex., 2022

2021
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic.
Electron. Colloquium Comput. Complex., 2021

Lifting for Constant-Depth Circuits and Applications to MCSP.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

2020
Special Section on the Fifty-Eighth Annual IEEE Symposium on Foundations of Computer Science (FOCS 2017).
SIAM J. Comput., 2020

Algorithms and Lower Bounds for de Morgan Formulas of Low-Communication Leaf Gates.
Electron. Colloquium Comput. Complex., 2020

2019
AC0[p] Lower Bounds against MCSP via the Coin Problem.
Electron. Colloquium Comput. Complex., 2019

Circuit Lower Bounds for MCSP from Local Pseudorandom Generators.
Electron. Colloquium Comput. Complex., 2019

AC<sup>0</sup>[p] Lower Bounds Against MCSP via the Coin Problem.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018
Satisfiability and Derandomization for Small Polynomial Threshold Circuits.
Electron. Colloquium Comput. Complex., 2018

Nisan-Wigderson Pseudorandom Generators for Circuits with Polynomial Threshold Gates.
Electron. Colloquium Comput. Complex., 2018

Algebraic Methods in Computational Complexity (Dagstuhl Seminar 18391).
Dagstuhl Reports, 2018

2017
A Polynomial Restriction Lemma with Applications.
Electron. Colloquium Comput. Complex., 2017

Does Looking Inside a Circuit Help?
Electron. Colloquium Comput. Complex., 2017

Fourier Concentration from Shrinkage.
Comput. Complex., 2017

The Minimum Oracle Circuit Size Problem.
Comput. Complex., 2017

Expander Construction in VNC1.
Proceedings of the 8th Innovations in Theoretical Computer Science Conference, 2017

Agnostic Learning from Tolerant Natural Proofs.
Proceedings of the Approximation, 2017

2016
Correlation bounds and #SAT algorithms for small linear-size circuits.
Theor. Comput. Sci., 2016

Simultaneous Secrecy and Reliability Amplification for a General Channel Model.
IACR Cryptol. ePrint Arch., 2016

Algorithms from Natural Lower Bounds.
Electron. Colloquium Comput. Complex., 2016

Expander Construction in VNC<sup>1</sup>.
Electron. Colloquium Comput. Complex., 2016

Pseudorandomness when the odds are against you.
Electron. Colloquium Comput. Complex., 2016

Algebraic Methods in Computational Complexity (Dagstuhl Seminar 16411).
Dagstuhl Reports, 2016

An Improved Deterministic #SAT Algorithm for Small de Morgan Formulas.
Algorithmica, 2016

Learning Algorithms from Natural Proofs.
Proceedings of the 31st Conference on Computational Complexity, 2016

2015
Mining Circuit Lower Bound Proofs for Meta-Algorithms.
Comput. Complex., 2015

Tighter Connections between Derandomization and Circuit Lower Bounds.
Proceedings of the Approximation, 2015

2014
Algebra in Computational Complexity (Dagstuhl Seminar 14391).
Dagstuhl Reports, 2014

Lower Bounds Against Weakly-Uniform Threshold Circuits.
Algorithmica, 2014

2013
Compression of Boolean Functions.
Electron. Colloquium Comput. Complex., 2013

Is Valiant-Vazirani's isolation probability improvable?
Comput. Complex., 2013

2012
Lower Bounds against Weakly Uniform Circuits.
Electron. Colloquium Comput. Complex., 2012

2011
Is the Valiant-Vazirani Isolation Lemma Improvable?
Electron. Colloquium Comput. Complex., 2011

2010
Constructive Proofs of Concentration Bounds.
Electron. Colloquium Comput. Complex., 2010

2009
Approximate List-Decoding of Direct Product Codes and Uniform Hardness Amplification.
SIAM J. Comput., 2009

Chernoff-Type Direct Product Theorems.
J. Cryptol., 2009

New Direct-Product Testers and 2-Query PCPs.
Electron. Colloquium Comput. Complex., 2009

The Black-Box Query Complexity of Polynomial Summation.
Comput. Complex., 2009

Security Amplification for InteractiveCryptographic Primitives.
Proceedings of the Theory of Cryptography, 6th Theory of Cryptography Conference, 2009

An Axiomatic Approach to Algebrization.
Proceedings of the Algebraic Methods in Computational Complexity, 11.10. - 16.10.2009, 2009

2008
The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs.
J. Comput. Syst. Sci., 2008

Uniform Direct-Product Theorems: Simplified, Optimized, and Derandomized.
Electron. Colloquium Comput. Complex., 2008

Hardness Amplification via Space-Efficient Direct Products.
Comput. Complex., 2008

On the Complexity of Succinct Zero-Sum Games.
Comput. Complex., 2008

2007
Special Issue "Conference on Computational Complexity 2006" Guest Editors' Foreword.
Comput. Complex., 2007

2006
Uniform Hardness Amplification in NP via Monotone Codes.
Electron. Colloquium Comput. Complex., 2006

Approximately List-Decoding Direct Product Codes and Uniform Hardness Amplification.
Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2006), 2006

2004
Derandomizing Polynomial Identity Tests Means Proving Circuit Lower Bounds.
Comput. Complex., 2004

2003
Almost k-wise independence and hard Boolean functions.
Theor. Comput. Sci., 2003

2002
In search of an easy witness: exponential time vs. probabilistic polynomial time.
J. Comput. Syst. Sci., 2002

Derandomization: A Brief Overview
Electron. Colloquium Comput. Complex., 2002

2001
Nonuniformly hard boolean functions and uniform complexity classes.
PhD thesis, 2001

Easiness Assumptions and Hardness Tests: Trading Time for Zero Error.
J. Comput. Syst. Sci., 2001

2000
Efficiently Approximable Real-Valued Functions
Electron. Colloquium Comput. Complex., 2000

Almost <i>k</i>-Wise Independence and Hard Boolean Functions.
Proceedings of the LATIN 2000: Theoretical Informatics, 2000

1999
Circuit Minimization Problem
Electron. Colloquium Comput. Complex., 1999

Almost k-Wise Independence and Boolean Functions Hard for Read-Once Branching Programs
Electron. Colloquium Comput. Complex., 1999

1997
Recognizability Equals Definability for Partial k-Paths.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997


  Loading...