Milimeterpapier_HKS 58_dunkel.indd

Source URL: www.aerztekammer-saarland.de

The CASPA Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper) Michael Backes1,2, Stefan Lorenz1 , Matteo Maffei1 , and Kim Pecina1 1

Source URL: sps.cs.uni-saarland.de

TruWalletM: Secure Web Authentication on Mobile Platforms Sven Bugiel1 , Alexandra Dmitrienko2? , Kari Kostiainen3 , Ahmad-Reza Sadeghi1 , Marcel Winandy2 1

Source URL: www.infsec.cs.uni-saarland.de

Secrecy without Perfect Randomness: Cryptography with (Bounded) Weak Sources Michael Backes, Aniket Kate, Sebastian Meiser, and Tim Ruffing CISPA, Saarland University, Germany {backes@cs, aniket@mmci, meiser@cs, tim.ruff

Source URL: eprint.iacr.org

AND-compression of NP-complete problems: Streamlined proof and minor observations Holger Dell Saarland University Cluster of Excellence, MMCI ∗ September 23, 2014

Source URL: www.holgerdell.com

Minimized_MTM_Paper_FINAL.dvi

Source URL: www.infsec.cs.uni-saarland.de

saarland university computer science Saarland University Faculty of Natural Sciences and Technology I

Source URL: sps.cs.uni-saarland.de

Landesrecht | Saarland.de Page 1 of 11 Justiz

Source URL: www.ptk-saar.de

setareh_gallery_LOGO_final

Source URL: www.setareh-gallery.com

• Germany
• Otto Steinert
• Steinert
• Saarland Museum

Doctoral Privatissima What they are: Doctoral privatissima are in-depth, small courses intended especially for students pursuing a doctorate. They should only be available to a handful of students at once so that meeting

Source URL: gradschool.cs.uni-saarland.de