Shir Maimon

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Closure Properties

Stochastic Local Search

Boolean Satisfiability

Top Venues

J. Comput. Syst. Sci.

IACR Cryptol. ePrint Arch.

Publications

Mingxun Zhou, Elaine Shi, T.-H. Hubert Chan, Shir Maimon
A Theory of Composition for Differential Obliviousness. EUROCRYPT (3) (2023)
Mingxun Zhou, Elaine Shi, T.-H. Hubert Chan, Shir Maimon
A Theory of Composition for Differential Obliviousness. IACR Cryptol. ePrint Arch. 2022 (2022)
Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery
Closure and nonclosure properties of the classes of compressible and rankable sets. J. Comput. Syst. Sci. 120 (2021)
Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery
Closure and Nonclosure Properties of the Compressible and Rankable Sets. LATA (2019)
Jackson Abascal, Shir Maimon
Critique of Barbosa's "P != NP Proof". CoRR (2017)
Jackson Abascal, Shir Maimon
A Refutation of Guinea's "Understanding SAT is in P". CoRR (2017)