Frühjahrs-Fachtagung 2018 Donnerstag und Freitag, April 2018 in Stuttgart MARITIM Hotel Stuttgart und Kultur- & Kongresszentrum Liederhalle Seidenstraße 34

Source URL: www.vpp-patent.de

A Framework for Universally Composable Diffie-Hellman Key Exchange Ralf K¨usters and Daniel Rausch University of Stuttgart Stuttgart, Germany Email: {ralf.kuesters, daniel.rausch}@informatik.uni-stuttgart.de

Source URL: www.ieee-security.org

• Cryptography
• Public-key cryptography
• Cryptographic protocols
• Key management
• Public key infrastructure
• DiffieHellman key exchange
• Key exchange
• Forward secrecy
• RSA
• Secure channel
• XTR
• Digital signature

Simulation eines Quantencomputers Bj¨orn Butscher, Hendrik Weimer Universit¨at Stuttgart 22. M¨arz

Source URL: www.libquantum.de

We know (nearly) nothing! But can we learn? Stephan Schulz DHBW Stuttgart

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• School of Computer Science
• University of Manchester
• Software
• Automated theorem proving
• Logic in computer science
• Mathematical logic
• E theorem prover
• Prover9
• Vampire
• Andrei Voronkov
• Geoff Sutcliffe
• Rewriting

PDF Document

Source URL: www.ifsw.uni-stuttgart.de

PDF Document

Source URL: www.mobile-jugendarbeit-stuttgart.de

PDF Document

Source URL: www.f09.uni-stuttgart.de

PDF Document

Source URL: www.igvp.uni-stuttgart.de

PDF Document

Source URL: www.gkm.uni-stuttgart.de

PDF Document

Source URL: www.gkm.uni-stuttgart.de