[concerning category theory and crypto protocols] > So when you have done some real work on the matter, at least written some > paper on the stuff, and published it, you may well write about it here.
I think that sets the bar a bit too high - there is a place for saying "this area looks interesting and relevant, but I don't have it down yet." Perhaps one thing to do might be to make the discussion more specific by finding particular applications of category theory to areas "close" to cryptography and looking at those applications in more detail. (No, I'm not necessarily volunteering to do this.) In any case, if Tim or anyone else wants to submit a paper, this is a page on a workshop in "Categorical Methods for Concurrency, Interaction, and Mobility" http://www.cwi.nl/events/2002/cmcim/ the call for papers just showed up in my inbox yesterday. While not specifically about crypto protocols, "interaction and mobility" seems to cover some of what I think Tim is getting at. -David
