On Monday, April 29, 2002, at 09:29 AM, dmolnar wrote: > [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.)
I chose not to reply to "KPJ" for two reasons: 1. His "whine" was that he/she/it didn't think I'd "done" enough to justify commenting. 2. I checked, and could find no other messages, ever, from KPJ. (It's possible he/she/it posted before, and I deleted the messages....I only keep about half of all posts which make it past my filters.) There's no doubt in my mind that commenting on factors affecting crypto today and also commenting on math of possible relevance to crypto protocols is AT LEAST as on-topic as much of what gets posted here. In any case, if KPJ doesn't want to read it, he/she/it should know what to do. > > 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. > I'll have more to say about what I'm getting at when I a) know more, and b) take the time to write up a teaching essay. In the meantime, I suggest "KPJ" establish a track record for interesting posts before taking more potshots. --Tim May "A human being should be able to change a diaper, plan an invasion, butcher a hog, conn a ship, design a building, write a sonnet, balance accounts, build a wall, set a bone, comfort the dying, take orders, give orders, cooperate, act alone, solve equations, analyze a new problem, pitch manure, program a computer, cook a tasty meal, fight efficiently, die gallantly. Specialization is for insects." --Robert A. Heinlein
