Items where Subject is "Research Areas [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: 42.

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.

Brandenburg, Björn B. and Anderson, James H.
(2011) Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks.
In: 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Conference: EMSOFT - ACM Conference on Embedded Software

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

Dittrich, Jens
(2010) Paper bricks: an alternative to complete-story peer reviewing.
SIGMOD Record, 39 (4). pp. 31-36.

Dittrich, Jens and Blunschi, Lukas and Salles, Marcos Antonio Vaz
(2011) MOVIES: indexing moving objects by shooting index images.
GeoInformatica, 15 (4). pp. 727-767.

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

Kenna, Christopher J. and Herman, Jonathan L. and Brandenburg, Björn B. and Mills, Alex F. and Anderson, James H.
(2011) Soft Real-Time on Multiprocessors: Are Analysis-Based Schedulers Really Worth It?
In: Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011.
Conference: RTSS - Real Time Systems Symposium

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öllers, Frederik and Hessel, Stefan
(2016) Post mortem auctoris? Software zur Unterstützung von Bibliotheken bei der Auffüllung ihrer Bestände.
In: Netzwerke: Tagungsband des 19. Internationalen Rechtsinformatik Symposions IRIS 2016 / Networks: Proceedings of the 19th International Legal Informatics Symposium IRIS 2016.

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.

Soremekun, Ezekiel O.
(2017) Debugging with Probabilistic Event Structures.
In: Proceedings of the 39th International Conference on Software Engineering Companion.

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 Sun Nov 18 00:02:25 2018 CET.