Please log in if you want to be notified when Michael Backes is mentioned on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever Michael Backes is mentioned in an event.

Michael Backes


Michael Backes has been associated with 12 events and has a lot in common with Birgit Pfitzmann, Michael Waidner and Dominique Unruh. Michael's main research interests are security, privacy and model.

Are you Michael Backes? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)



If you happen to know who this is, you can send Michael an invitation:



The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.

about


RSS feeds

Whiteboard RSS for Michael Backes Whiteboard


tracker for Michael Backes


May 21, 2008

15th international conference on logic for programming, artificial intelligence and reasoning (LPAR 2008) was updated.

May 15, 2008

20th international conference on computer aided verification (CAV 2008) was updated.

May 7, 2008

6th ACM workshop on formal methods in security engineering (FMSE 2008) was added.

February 22, 2008

Joint workshop on foundations of computer security, automated reasoning for security protocol analysis, and issues in the theory of security (FCS-ARSPA-WITS 2008) was added.

» Show all

Facts


Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.