26.06.2008 Deterministic Restarting Tree Automata
Charles University, June 23-27, 2008, Prague, Czech Republic
12.03.2008 A Software-Based Trusted Platform Module Emulator
(joined work with Mario Strasser, ETH Zurich)
International Conference on Trusted
Computing (TRUST 2008),
March 10-13, 2008,
Villach, Austria
TRUST2008_slides.pdf
01.12.2007 Kryptographie in Theorie und Praxis
Weiterbildungsseminar 2007, BID e.V.,
Grandhotel Moderne LaStrada, Kassel
BID_slides.pdf
09.11.2007 Kryptographische Missbrauchssicherungen für die
Vorratsdatenspeicherung
7.
Krypto-Tag der GI-Fachgruppe "Angewandte Kryptologie",
b-it Bonn
kryptotag7_slides.pdf
28.09.2007 Eingeschränkte Restart-Baumautomaten
17.
Theorietag "Automaten und Formale Sprachen",
Universität Leipzig
Theorietag2007_slides.pdf
22.05.2007 Restarting Tree Automata and Linear Context-Free
Tree Languages
2nd International Conference
on Algebraic Informatics,
May 21-25, 2007,
Thessaloniki, Greece
CAI2007_slides.pdf
24.01.2007 Restarting Tree Automata
33rd International Conference
on Current Trends in Theory and Practice of Computer Science,
January 20-26, 2007,
Harrachov, Czech Republic
SOFSEM2007_slides.pdf
28.09.2006 Restarting Tree Automata
16. Theorietag "Automaten und Formale Sprachen", Technische Universität Wien
Theorietag2006_slides.pdf
02.07.2006 Trusted Computing and Open Source Software
Kryptowochenende 2006, Kloster Bronnbach
KryptoWE_slides.pdf
11.05.2006 Implementing Direct Anonymous Attestation for the
TPM Emulator Project
4. Krypto-Tag der Gesellschaft für Informatik e.V. - Fachgruppe KRYPTO, Ruhr Universität Bochum
KryptoTag_Bochum.pdf
03.03.2006 Restarting Tree Automata
FORMAT-Workshop 2006, Universität Frankfurt
FORMAT2006_slides.pdf
21.02.2006 Verification of Ping-Pong Protocols in Quadratic Time
3. Jahrestagung Fachbereich Sicherheit der Gesellschaft
für Informatik (Workshop "Kryptographie in Theorie
und Praxis"), February 20-22, 2006, Magdeburg, Germany
SICHERHEIT2006_slides.pdf
21.12.2005 Verification of Cryptographic Protocols
Part 3: Tree Automata and Approximation Techniques
Seminar Theoretische Informatik WS2005/06
RewritingApproximation_slides.pdf
10.12.2005 Completion Attacks and Weak Keys of Oleshchuk's
Public Key Cryptosystem
6th International
Conference on Cryptology in India (INDOCRYPT 2005),
December 10-12, 2005,
Bangalore, India
INDOCRYPT2005.pdf
15.09.2005 Verifiable Secret Shuffling
3. Krypto-Tag der Gesellschaft für Informatik e.V. - Fachgruppe KRYPTO, Technical University of Darmstadt
KryptoTag_Darmstadt.pdf
05.07.2005 Efficient electronic gambling:
An extended implementation of Schindelhauer's
Toolbox for Mental Card Games
Western
European Workshop on Research in Cryptology (WEWoRC 2005),
July 5-7, 2005, Leuven-Heverlee, Belgium
WEWoRC2005.pdf
21.06.2005 Verification of Cryptographic Protocols
Part 2: (Un)decidability and Complexity Results
Seminar Theoretische Informatik SS2005
RewritingDetail_slides.pdf
26.04.2005 Verification of Cryptographic Protocols
Part 1: The Dolev-Yao Model and "Ping-Pong" Protocols
Seminar Theoretische Informatik SS2005
RewritingOverview_slides.pdf
31.03.2005 Mental Poker in practice:
An extended implementation of Schindelhauer's
Toolbox for Mental Card Games
2. Krypto-Tag der Gesellschaft für Informatik e.V. - Fachgruppe KRYPTO, University of Ulm
KryptoTag_Ulm.pdf
17.02.2005 Vermeidbare Muster in unendlichen Wörtern
Schülerprojektwoche 2005
Muster.pdf
01.12.2004 Oleshchuk's Public-Key Cryptosystem
Cryptanalysis and Practical Issues
1. Krypto-Tag der Gesellschaft für Informatik e.V. - Fachgruppe KRYPTO, University of Mannheim
KryptoTag_Olk95_slides.pdf
29.09.2004 Restarting Automata
with more than one restarting state
14. Theorietag "Automaten und Formale Sprachen", Caputh bei Potsdam
(joined work with Hartmut Messerschmidt)
qRRWW_theotag_slides.pdf
09.07.2004 Restarting Automata
with more than one restarting state
(joined work with Hartmut Messerschmidt)
Seminar Theoretische Informatik SS2004
qRRWW.pdf
02.07.2004 Trusted Computing
Direct Anonymous Attestation
Seminar Theoretische Informatik SS2004
TC_DAA2.pdf
25.06.2004 Trusted Computing
"Kontrolle ist gut, Vertrauen ist besser!"
Ringvorlesung Gesellschaft und Informatik,
Fachschaft Informatik, Universität Leipzig
TC_DAA.pdf
04.05.2004 Dining Cryptographers Networks
Robuste Anonymität durch Kryptographie
[Sta03]
Oberseminar Computational Mathematics,
Universität Kassel
OS_DCN.pdf
29.03.2004 Oleshchuk's Public-Key Cryptosystem
Based on Church-Rosser String-Rewriting Systems
[Olk95]
Seminar Theoretische Informatik
PK_SRS.pdf
01.03.2004 Flip-Pushdown Automata
L(NFPDAfin) incomparable to GCSL
[Sar01]
[HKu02]
[HKu03]
Seminar Theoretische Informatik
FlipPDAs.pdf
18.02.2004 Zero-Knowledge Proofs
Schülerprojektwoche 2004
SPWK_ZNP.pdf
SPWK_ZNP_UE.ps.gz
