Items where Subject is "Cross Cutting Thrusts [OLD] > Unspecified"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: B | C | D | E | F | G | H | K | L | M | N | P | R | S | T
Number of items at this level: 36.

B

Baumann, Christoph
(2008) Formal Specification of the x87 Floating-Point Instruction Set.
Diploma thesis, UNSPECIFIED.

Berg, Matthias
(2007) On Key-dependent Encryption.
Masters thesis, Saarland University.

Bornträger, Holger
(2008) MD5 Collisions on Multimedia Files.
Bachelors thesis, UNSPECIFIED.

Busenius, Alex
(2009) Expi2Java - En Extensible Code Generator for Security Protocols.
Bachelors thesis, Saarland University.

Böttcher, Süntje
(2007) Multiparty Computation in an Asynchronous Network.
Bachelors thesis, Saarland University.

C

Ciobataru, Oana
(2008) Efficient Long-term Secure Universally Composable Commitments.
Masters thesis, Saarland University.

D

Doychev, Goran
(2010) Speaker Recognition in Encrypted Voice Streams.
Bachelors thesis, Saarland University.

Driedger, Jonathan
(2010) Formalization of Game-Transformations.
Bachelors thesis, Saarland University.

E

Eigner, Fabienne
(2007) Cryptographic Soundness of Simpler Symbolic Signatures and Authentications.
Bachelors thesis, Saarland University.

Eigner, Fabienne
(2010) Type-Based Verification of Electronic Voting Systems.
Masters thesis, Saarland University.

F

Feld, Dominik
(2010) Anonymity in Online Polls.
Bachelors thesis, Saarland University.

Freymann, Hans-Peter and Vogelgesang, Stephanie
(2014) Schwacke-Liste und Fraunhofer-Tabelle in der Rechtsprechung der Berufungsgerichte.
Zeitschrift für Schadensrecht. pp. 544-555.

Freymann, Hans-Peter and Vogelgesang, Stephanie
(2015) Schwacke-Liste und Fraunhofer-Tabelle in der Rechtsprechung der Berufungsgerichte.
Zeitschrift für Schadensrecht. pp. 543-554.

G

Gerling, Sebastian
(2007) LAN Crypt Gateway and Secure Browser Access.
Bachelors thesis, Saarland University.

Grochulla, Martin
(2010) Moment Preserving Diffusion in Image Processing.
Masters thesis, Saarland University.

Grochulla, Martin
(2009) Security Despite Compromise with Zero-Knowledge Proofs.
Masters thesis, Saarland University.

Grochulla, Martin
(2007) Trust Model for eVoting.
Bachelors thesis, UNSPECIFIED.

H

Hamerlik, Lech Marek
(2009) Anonymity and Censorship Resistance in Sematic Overlay Networtks.
Masters thesis, Saarland University.

Heine, Dirk
(2009) Sicherheitskonzept an einem Rechenzentrum.
Bachelors thesis, Saarland University.

Hessel, Stefan
(2015) Ein Plädoyer für e-Klausuren im Jurastudium.
JurPC (Web-Do).

Hessel, Stefan and Klose, Carsten
(2014) Blut und Boden: Die NS-Agrarideologie und die Extreme Rechte heute.
Forum Recht (1). pp. 21-22.

K

Krohmer, Anton
(2009) Rational File Sharing.
Bachelors thesis, Saarland University.

Künnemann, Robert
(2009) Hiding Malicious Postscript Code and How to Define Undetectabilit.
Bachelors thesis, UNSPECIFIED.

L

Lorenz, Stefan
(2011) Anonymous Webs of Trust.
Masters thesis, Saarland University.

Lorenz, Stefan
(2009) Caspa - Mechanized Verification of Security Protocols using Causality-based Abstractions.
Bachelors thesis, Saarland University.

Lund, Rajiv
(2010) Formale Analyse von Mastermind.
Bachelors thesis, UNSPECIFIED.

M

Mohammadi, Esfandiar
(2009) Computational Soundness of Symbolic Zero-Knowledge Proofs against Active Attackers under Relaxed Assumptions.
Masters thesis, Saarland University.

Müller, Markus
(2007) Implementing Fuzzy Identity-Based Encryption.
Bachelors thesis, Saarland University.

N

Nesbigall, Stefan
(2008) Quantenbasierte Koordination von Multiagentensystemen.
Masters thesis, Saarland University.

Nicolay, Martin
(2007) Design und Implementierung eines Sync-ML Clients für das c`man-Framework für Symbian Gerät.
Bachelors thesis, UNSPECIFIED.

P

Pecina, Kim
(2007) Mechanized verification of Security Protocols Using Causality-based Abstractions.
Bachelors thesis, Saarland University.

R

Rickert, Nicolas
(2010) Digital Watermarking: Methods and Applications for Digital Images.
Bachelors thesis, Saarland University.

S

Schnuck, Christian
(2009) Computing Information-theoretic Bounds for Unknown Message Side-Channel Attacks.
Bachelors thesis, Saarland University.

Skoruppa, Malte
(2010) Formal Verification of ElGamal Encryption using a Probabilistic Lambda-Calculus.
Bachelors thesis, Saarland University.

T

Tarrach, Thorsten
(2010) Automatically Verifying 'M' Modelling Language Constraints.
Masters thesis, Saarland University.

Tarrach, Thorsten
(2009) SPI2F - A Prototype Code Generator for Security Protocols.
Bachelors thesis, Saarland University.

This list was generated on Sat Sep 22 00:02:22 2018 CEST.