Login / Signup
Jorge Nakahara Jr.
Publication Activity (10 Years)
Years Active: 2000-2020
Publications (10 Years): 1
Top Topics
Propositional Satisfiability
Block Cipher
Key Management
Sat Solvers
Top Venues
SECRYPT
J. Satisf. Boolean Model. Comput.
IACR Cryptol. ePrint Arch.
J. Comput. Appl. Math.
</>
Publications
</>