|
|
Dr.
Michael Backes
|
|
Phone +41-1-724 8278 |
|
Main
Research Interests
|
- Linking formal methods and cryptography. Current highlight: Cryptographically justifying a Dolev-Yao model. (Overview slides)
- 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.
|
Publications
|
Full list can be found here (most of them online).
|
Recent
Professional Activities
|
- ESORICS'05: 10th
European Symposium on Research in Computer Security,
Milan, Italy, September 14-16, 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
|
Last
modified: Tue Oct 05
|
IBM doesn't necessarily share my personal opinions stated on this page.