|
|
|
Mail Address: Saarland University |
I'm a professor at the Computer Science Department of Saarland University, heading the Information Security and Cryptography Group.
Research Interests | Publications | Recent professional activities | Teaching | Information for Students (Bachelor/Master thesis, PhD) / Visitors
- Linking formal methods and cryptography. Current highlight: Cryptographically justifying a Dolev-Yao model. (Overview slides)
- Web Services security, in particular automated symbolic as well as cryptographic analyses of recent Web Services interoperability profiles,
- Security and reliability in ad-hoc (sensor, mobile, ...)
networks,
- Enterprise
privacy, in particular
enterprise privacy policies, their refinement, and composition.
- Information flow, in particular linking traditional information flow to the cryptographic definitions and techniques.
- Information
hiding, in particular steganography.
- Programming logics for analyzing security protocols,
...and lots of other things related to cryptography and information security.
Full list can be found here (most of them online).
- ESORICS, European
Symposium on
Research in Computer Security
Steering Committee Member - FMSE, Formal
Methods in Security Engineering
Steering Committee Chair - ESORICS'07, 12th
European Symposium on Research in Computer Security,
Dresden, Germany, September 2006.
PC Member - FCC'07, 3rd Workshop on Formal and Computational Cryptography,
Venice, Italy, June 2007.
Co-Chair - ISC'07, 10th
Information Security Conference, Chile, October 2007.
PC Member - ICALP'07, 34th International
Colloquium on Automata,
Languages and Programming, Wroclaw, Poland, July 9 – 13,
2007.
PC Member - CSFW'07, 19th IEEE Computer
Security Foundations Workshop, Venice, Italy, July 2007.
PC Member - PET'07, 7th Workshop on
Privacy Enhancing Technologies, Ottawa, Canada, June 20 - 22,
2007.
PC Member - ACNS'07, 5th International Conference on Applied
Cryptography and Network Security, Zhuhai, China, June 5 - 8,
2007.
PC Member
- ASIACCS'07, 1st
ACM Symposium on Information, Computer and Communications Security,
Singapore, VA, USA, March 20 - 22, 2007.
PC Member - ICICS'06, 8th
International Conference on Information and Communications Security,
Raleigh, NC, USA, December 4 - 7, 2006.
PC Member - ACM CCS'06,
13th
ACM Conference on Computer and Communications Security,
Alexandria, VA, USA, October 30 - November 3, 2006.
PC Member - FMSE'06, 4th
ACM Workshop on Formal Methods in Security Engineering, Fairfax,
VA, USA, November 3, 2006.
PC Member - WPES'06, 5th
ACM Workshop on Privacy in the Electronic Society, Alexandria, VA,
USA, October 30, 2006.
PC Member - ESORICS'06, 11th
European Symposium on Research in Computer Security,
Hamburg, Germany, September 18-20, 2006.
PC Member - ISC'06,
9th Information Security Conference (ISC), Greece,
2006.
Co-Chair
- CSFW'06: 19th
IEEE Computer Security Foundations Workshop, Venice, Italy, June
2006.
PC Member - IEEE
Symposium
on Security and Privacy'06, Berkeley/Oakland, California, USA,
2006.
PC Member - PET'06: 6th
International Workshop on Privacy Enhancing Technologies, 2006.
PC Member - ESORICS'05: 10th
European Symposium on Research in Computer Security,
Milan, Italy, September 14-16, 2005.
PC Member - FMSE'05:
3rd
International Workshop on Formal Methods in Security Engineering,
Alexandria, VA, USA,
November 11, 2005.
PC Member - SecCo'05: 3rd
International Workshop on Security Issues in Concurrency, San
Francisco, California, USA,
August 22-23, 2005.
Co-Chair - FCS'05, Foundations of Computer Security,
2005.
PC Member - Eurocrypt'05,
Aarhus, Denmark,
May 22-26, 2005.
PC Member - IEEE
Symposium
on Security and Privacy'05, Berkeley/Oakland, California, USA, May
8-11,
2005.
PC Member
- Asiacrypt'04,
Jeju Island, Korea, December 5-9, 2004.
PC Member
- Indocrypt'04:
5th
International Conference on Cryptology in India, Chennai (Madras),
India, December 20-22, 2004..
PC Member
- FMSE'04: 2nd
ACM
Workshop on Formal Methods in Security Engineering affiliated with
ACM CCS'04, Washington D.C., USA, October 29, 2004.
Co-Organizer
- FOSAD'04: 4th
International School on Foundations of Security Analysis and Design,
Bertinoro, Italy, September 6-11, 2004.
Speaker - CSFW'04:
17th IEEE Computer Security Foundations Workshop, Asilomar Pacific
Grove, CA, USA, June 28-30, 2004.
PC Member - SASEMAS'04,
1st
International Workshop on Safety and Security of Multi-Agent Systems,
New York, USA, June 19-20, 2004.
PC Member - CNIS'03:
IASTED
International Conference on Communication, Network, and Information
Security,
New York, USA, December 10-12, 2003.
PC Member - FMSE'03: 1st
ACM
Workshop on Formal Methods in Security Engineering affiliated with
ACM CCS'03, Washington D.C., USA, October 30, 2003.
Co-Organizer - BIZSEC'03:
1st
ACM Workshop on Business Driven Security Engineering affiliated
with
ACM CCS'03, Washington D.C., USA, October 31, 2003.
PC Member
Winter Term 2006/07:
- Advanced Lecture: Advanced Cryptography (CS 650): Fri 11-13, Building E1 3, HS001
- Advanced Lecture: Language-based Security
(CS 650): Wed 9-11, Building E1 3, HS001
- Seminar: Security and Privacy in Decentralized Networks (CS 500), jointly with Peter Druschel
- Oberseminar (Backes) - on invitation only Di. 16-18h room U12 in building E1 1
Summer Term 2006:
- Core Lecture: Cryptography (CS 578): Tue 11-13, Fri 11-13, Building E1 3, HS002.
- Seminar: Privacy in Databases
(CS 500), joint with Christoph Koch.
- Proseminar: The Magic of Cryptography (Course description in german) (CS 300)
- Oberseminar (Backes) - on invitation only Di. 16-18h room U12 in building E1 1
(see here for more details)
|
TLast
modified: Tue Oct 05
|