Sebastian R. Verschoor

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 3

Top Topics

Instant Messaging

Boolean Satisfiability

Clause Learning Sat Solvers

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Michele Mosca, João Marcos Vensi Basso, Sebastian R. Verschoor
On speeding up factoring with quantum SAT solvers. CoRR (2019)
Michele Mosca, Sebastian R. Verschoor
Factoring semi-primes with (quantum) SAT-solvers. CoRR (2019)
Sebastian R. Verschoor, Tanja Lange
(In-)Secure messaging with the Silent Circle instant messaging protocol. IACR Cryptol. ePrint Arch. 2016 (2016)