 |
|
Mail Address: Saarland University |
Michael Backes is a full professor at the Computer Science Department of Saarland University and a Max Planck Fellow of the Max Planck Institute for Software Systems. He has the chair for Information Security and Cryptography.
Research Interests | Publications | Recent professional activities | Teaching | Information for Students (Bachelor/Master thesis, PhD) / Visitors
|
Main
Research Interests
|
- Information security and cryptography, in particular:
- Linking formal methods and cryptography. Current highlight: Cryptographically justifying a Dolev-Yao model (2003). Actual protocol proofs with a theorem prover based on this model (2006) (Overview slides)
- Machine-assisted verification of
security protocols
- Complexity theoretic foundations of security and cryptography,
- Language-based security, information flow, and in particular linking traditional information flow to the cryptographic definitions and techniques,
- Security and reliability in ad-hoc (sensor, mobile, ...) networks,
- Enterprise privacy, in particular enterprise privacy policies, their refinement, and composition,
- Information
hiding, in particular steganography,
- Web Services security, in particular automated symbolic as well as cryptographic analyses of recent Web Services interoperability profiles,
...and lots of other things related to security, cryptography, and foundations of computer science in general.
I'm lucky to have the chance to work with a group of outstanding graduate students and Postdocs: Matthias Berg, Oana Ciobotaru, Markus Dürmuth, Catalin Hritcu, Boris Köpf, Matteo Maffei, and Dominique Unruh.
If you are interested in graduate studies with me, follow this link.
Full list can be found here (most of them online).
- ESORICS, European
Symposium on
Research in Computer Security
Steering Committee Member - FMSE, ACM
Workshop on Formal
Methods in Security Engineering
Steering Committee Chair - Information
Security and Cryptography, Springer
book series.
Editorial Board
- ESORICS'09, 14th
European Symposium on Research in Computer Security,
San Malo, France, September 2009.
PC Co-Chair - IEEE
Symposium
on Security and Privacy'09, Berkeley/Oakland, California, USA,
May 2009.
PC Member - CSF'09, 22nd IEEE Computer
Security Foundations Symposium, Rhode Island, June 2009.
PC Member - FMSE'08, 6th
ACM Workshop on Formal Methods in Security Engineering, Fairfax,
VA, USA, November 2008.
PC Member - ISICS'08, 10th International Conference on
Information and Communications Security,
PC Member - CSF'08, 21st IEEE Computer
Security Foundations Symposium, Pittsburgh, USA, July 2008.
PC Member - PETS'08, 8th Privacy Enhancing
Technologies Symposium, Leuven, Belgium, July 2008.
PC Member - AsiaCCS'08, 3rd ACM Symposium on Information, Computer
and Communications Security, Tokio, Japan, March 2008.
PC Member
- SOFSEM'08, 34th International Conference on Current
Trends in Theory and Practice of Computer Science,
High Tatras, Slovakia, January 2008.
PC Member
- ISICS'07, 9th International Conference on
Information and Communications Security,
PC Member - ESORICS'07, 12th
European Symposium on Research in Computer Security,
Dresden, Germany, September 2007.
PC Membe - FCC'07,
3rd
Workshop on Formal and Computational Cryptography,
Venice, Italy, June 2007.
PC Co-Chair - ISC'07, 10th
Information Security Conference, Chile, October 2007.
PC Member - FMSE'07, 5th
ACM Workshop on Formal Methods in Security Engineering, Fairfax,
VA, USA, November 2007.
PC Member - ICALP'07, 34th International
Colloquium on Automata,
Languages and Programming, Wroclaw, Poland, July 2007.
PC Member - CSF'07, 20th IEEE Computer
Security Foundations Symposium, Venice, Italy, July 2007.
PC Member - PET'07, 7th Workshop on
Privacy Enhancing Technologies, Ottawa, Canada, June 2007.
PC Member - ACNS'07, 5th International Conference on Applied
Cryptography and Network Security, Zhuhai, China, June 2007.
PC Member
- ASIACCS'07, 1st
ACM Symposium on Information, Computer and Communications Security,
Singapore, March 2007.
PC Member - ICICS'06, 8th
International Conference on Information and Communications Security,
Raleigh, NC, USA, December 2006.
PC Member - ACM CCS'06,
13th
ACM Conference on Computer and Communications Security,
Alexandria, VA, USA, November 2006.
PC Member - FMSE'06, 4th
ACM Workshop on Formal Methods in Security Engineering, Fairfax,
VA, USA, November 2006.
PC Member - WPES'06, 5th
ACM Workshop on Privacy in the Electronic Society, Alexandria, VA,
USA, October 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), Samos Island, Greece,
September 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,
May 2006.
PC Member - PET'06: 6th
International Workshop on Privacy Enhancing Technologies,
Cambridge, UK, June 2006.
PC Member - ESORICS'05: 10th
European Symposium on Research in Computer Security,
Milan, Italy, September 2005.
PC Member - FMSE'05:
3rd
International Workshop on Formal Methods in Security Engineering,
Alexandria, VA, USA,
November 2005.
PC Member - SecCo'05: 3rd
International Workshop on Security Issues in Concurrency, San
Francisco, California, USA,
August 2005.
PC Co-Chair - FCS'05, Foundations of Computer Security,
Chicago, IL, USA, June 2005.
PC Member - Eurocrypt'05,
Aarhus, Denmark,
May 2005.
PC Member - IEEE
Symposium
on Security and Privacy'05, Berkeley/Oakland, California, USA, May
2005.
PC Member
- Asiacrypt'04,
Jeju Island, Korea, December 2004.
PC Member
- Indocrypt'04:
5th
International Conference on Cryptology in India, Chennai (Madras),
India, December 2004.
PC Member
- FMSE'04: 2nd
ACM
Workshop on Formal Methods in Security Engineering affiliated with
ACM CCS'04, Washington D.C., USA, October 2004.
PC Co-Chair
- FOSAD'04: 4th
International School on Foundations of Security Analysis and Design,
Bertinoro, Italy, September 2004.
Speaker - CSFW'04:
17th IEEE Computer Security Foundations Workshop, Asilomar Pacific
Grove, CA, USA, June 2004.
PC Member - SASEMAS'04,
1st
International Workshop on Safety and Security of Multi-Agent Systems,
New York, USA, June 2004.
PC Member - CNIS'03:
IASTED
International Conference on Communication, Network, and Information
Security,
New York, USA, December 2003.
PC Member - FMSE'03: 1st
ACM
Workshop on Formal Methods in Security Engineering affiliated with
ACM CCS'03, Washington D.C., USA, October 2003.
PC Co-Chair - BIZSEC'03:
1st
ACM Workshop on Business Driven Security Engineering affiliated
with
ACM CCS'03, Washington D.C., USA, October 2003.
PC Member
See the section on teaching on the group web page.
|
Last
modified: Tue May 02
|