​
Login / Signup
Shir Maimon
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 6
Top Topics
Closure Properties
Closed Sets
Stochastic Local Search
Boolean Satisfiability
Top Venues
CoRR
J. Comput. Syst. Sci.
IACR Cryptol. ePrint Arch.
EUROCRYPT (3)
</>
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)