HOW TO FIND US CNNMoney Switzerland is located on the 4th floor of the Medienpark building at Flurstrasse 55 in 8048 Zurich (Altstetten) Click here to find us: http://bit.ly/CNNMoneySwitzerlandstudios

Source URL: mediago.ch

SHARK A Realizable Special Hardware Sieving Device for Factoring 1024-bit Integers Jens Franke1 , Thorsten Kleinjung1 , Christof Paar2 , Jan Pelzl2 , Christine Priplata3 , Colin Stahlke3 1

Source URL: www.hyperelliptic.org

• Integer factorization algorithms
• Mathematics
• Quadratic sieve
• Integer factorization records
• General number field sieve
• TWIRL
• Lattice sieving
• Factor base
• Prime number
• Sieve

An Evaluation of the Sieving Device YASD for 1024-bit Integers* SHARCS 2006, Cologne, Germany April 4, 2006 Naoyuki Hirota (UEC), ○Tetsuya Izu (FUJITSU), Noboru Kunihiro (UEC), Kazuo Ohta (UEC)

Source URL: www.hyperelliptic.org

• Cryptography
• Integer factorization algorithms
• Weizmann Institute of Science
• Computational hardness assumptions
• TWINKLE
• TWIRL
• General number field sieve
• Integer factorization
• Factor base
• RSA
• World records

On the Practical (In-)Security of 64-bit Block Ciphers Collision Attacks on HTTP over TLS and OpenVPN Karthikeyan Bhargavan Inria, France

Source URL: who.rocq.inria.fr

A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors? Liana Hadarean1 , Kshitij Bansal1 , Dejan Jovanovi´c3 , Clark Barrett1 , and Cesare Tinelli2 1 2

Source URL: csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• Conflict-driven clause learning
• Solver

Ihre Karriere im BIT Votre carrière à l’OFIT www.bit.admin.ch

Source URL: www.bit.admin.ch

An Evaluation of the Sieving Device YASD for 1024-bit Integers ? (Extended Abstract) Naoyuki Hirota1 , Tetsuya Izu2 , Noboru Kunihiro1 and Kazuo Ohta1 1

Source URL: www.hyperelliptic.org

• Cryptography
• Mathematics
• Weizmann Institute of Science
• Integer factorization algorithms
• Integer sequences
• TWINKLE
• Integer factorization
• TWIRL
• Prime number
• Dynamic random-access memory
• Factor base
• XTR

A fundamental evaluation of 80 bit keys employed by hardware oriented stream ciphers Iain Devlin1 and Alan Purvis1 Centre for Electronic Systems, Durham University, Durham, DH1 3LH, UK {iain.devlin, alan.purvis}@durham.a

Source URL: www.hyperelliptic.org

• Cryptography
• Stream ciphers
• VEST
• Grain
• Field-programmable gate array
• Altera
• Xilinx
• Brute-force attack
• Stratix
• Block cipher
• Py
• Data Encryption Standard

Solving Constraints over Bit-Vectors with SAT-based Model Checking Extended Abstract Yakir Vizel1 , Alexander Nadel2 , and Sharad Malik1 2

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Computational complexity theory
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Z3
• Solver

Implementing Pairings at the 192-bit Security Level Diego F. Aranha1 , Laura Fuentes-Casta˜ neda2 , Edward Knapp3 , Alfred 3 Menezes , and Francisco Rodr´ıguez-Henr´ıquez2

Source URL: eprint.iacr.org

• Algebra
• Abstract algebra
• Pairing-based cryptography
• Mathematics
• Group theory
• Linear algebra
• Module theory
• Pairing
• Weil pairing
• Elliptic curve
• Proofs of quadratic reciprocity
• Basic hypergeometric series