GOTO CONSIDERED SEXY A Computationally Sound Mechanized Prover for Security Protocols coderman: "We present a new mechanized prover for secrecy properties of cryptographic protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the computational model. It produces proofs presented as sequences of games; these games are formalized in a probabilistic polynomial-time process calculus." coderman: executive summary: user education isn't going to solve the phising problem. a good phish uses SSL and employs trusted visual representation in a browser (the colored bar, the lock icon) to fool even the most conscientious of joe average users. coderman: "Claiming that Internet surfers have been using her mug shot for "private sexual gratification," a convicted drug dealer is threatening to sue The Smoking Gun unless her booking photo is removed from our site." http://images.google.com/images?q=tbn:6cQB2ZNxQOo4hM:https://my.estoresnw.com/kap/ProductImages/C-toilet-computer-C.jpg IE is a hateful suckful shitfest and does not like standards, part 237 Ent_Porpoise: no sir I do not like it on a train, No sir, I do not like it on a plane Gen_Porpoise: 404: Page Not Found Nothing to see here, please move along. Gen_Porpoise: you have 5 seconds to comply The End of the Western World we have known since 1945 Gen_Porpoise: http://en.wikipedia.org/wiki/Doomsday_clock Taco Bell taken over by ROBOTS! cryptomail: someone give me binary for "would you like fries with that\0" coderman: when coder says " i'm fond of transparent caching proxy configuration with a little iptables fu" this is what he's talking about Pivia got eaten by F5, but their tech is still cool coderman: plz someone write an open source implementation of this coderman: hahah, they have CORBA in there. What's wrong with this picture? Mutiny: LOLZ REVERSING THE PANOPTICON, TARGETS: coderman: collecting open source tools for content management, database replication, federation, and distributed processing with knowledge discovery tools, pattern/motif discovery methods, and classical sigint |