December 2003 - cypherpunks-legacy

DIMACS Workshop on Cryptographic Protocol Design andVerification, Sept. 3-5, 1997
by Robert Hettinga 17 Dec '03

17 Dec '03

--- begin forwarded text Date: Wed, 12 Mar 1997 14:11:04 -0500 From: ho(a)earth.hpc.org (Hilarie Orman) To: ipsec(a)tis.com Subject: DIMACS Workshop on Cryptographic Protocol Design and Verification, Sept. 3-5, 1997 Sender: owner-ipsec(a)ex.tis.com Precedence: bulk Here's a more complete announcement for the workshop. Hilarie ============================================================================= DIMACS Workshop on Formal Verification of Security Protocols Sept. 3-5, 1997 Organizers: Hilarie Orman, DARPA and Catherine Meadows, Naval Research Laboratory As we come to rely more and more upon computer networks to perform vital functions, the need for cryptographic protocols that can enforce a variety of security properties has become more and more important. Thus it is no surprise that in recent years a number of new protocols have been proposed for such applications as electronic credit card transactions, Web browsing, and so forth. Since it is notoriously difficult to design cryptographic protocols correctly, this increased reliance on them to provide security has become cause for some concern. This is especially the case since many of the new protocols are extremely complex. In answer to these needs, research has been intensifying in the application of formal methods to cryptographic protocol verification. Recently this work has matured enough so that it is starting to see application to real-life protocols. The goal of this workshop is to facilitate this process by bringing together those were are involved in the design and standardization of cryptographic protocols, and those who are developing and using formal methods techniques for the verification of such protocols. To this end we plan to alternate papers with panels soliciting new paths for research. We are particularly interested in paper and panel proposals addressing new protocols with respect to their formal and informal analysis. Other topics of interest include, but are not limited to - Progress in belief logics - Use of theorem provers and model checkers in verifying crypto protocols - Interaction between protocols and cryptographic modes of operation - Methods for unifying documentation and formal, verifiable specification - Methods for incorporating formal methods into crypto protocol design - Verification of cryptographic API systems - Formal definition of correctness of a cryptographic protocol - Arithmetic capability required for proofs of security for number theoretic systems - Formal definitions of cryptographic protocol requirements - Design methodologies - Emerging needs and new uses for cryptographic protocols - Multiparty protocols, in particular design and verification methods We encourage attendees to bring tools for demonstration. Information about availability of facilities for demonstration will be posted later. To submit a paper to the workshop, submit a one or two page abstract, in Postscript or ASCII to both organizers at the email addresses given below by June 16, 1997. Authors will be notified of acceptance or rejection of abstracts by July 1. Full papers will be due by August 1. Copies of papers will be distributed at the workshop. We also plan to publish a proceedings. Participation in the workshop is *not* limited to those giving presentations. If you would like to attend the workshop, a registration form is available at http://dimacs.rutgers.edu/Workshops/Cryptographic/reg_form.html. Information on accommodations and travel arrangements is available at http://dimacs.rutgers.edu/Workshops/general/accommodations.html and http://dimacs.rutgers.edu/Workshops/general/travel.html. Information on the workshop in general is at http://dimacs.rutgers.edu/Workshops/Cryptographic. Organizers Hilarie Orman Catherine Meadows DARPA ITO Naval Research Laboratory 3701 N. Fairfax Drive Code 5543 Arlington VA 22203-1714 Washington, DC 20375 phone: (703)696-2234 phone: (202)-767-3490 email: horman(a)darpa.mil email:meadows@itd.nrl.navy.mil --- end forwarded text ----------------- Robert Hettinga (rah(a)shipwright.com) Philodox e$, 44 Farquhar Street, Boston, MA 02131 USA "Never attribute to conspiracy what can be explained by stupidity." -- Jerry Pournelle The e$ Home Page: http://www.shipwright.com/rah/

1 0

Re: Ecash Brain Tennis
by dlv＠bwalk.dm.com 17 Dec '03

17 Dec '03

>From owner-freedom-knights(a)kachina.jetcafe.org Tue Mar 11 21:48:54 1997 Received: by bwalk.dm.com (1.65/waf) via UUCP; Wed, 12 Mar 97 08:25:31 EST for dlv Received: from kachina.jetcafe.org by uu.psi.com (5.65b/4.0.061193-PSI/PSINet) via SMTP; id AA20396 for dlv(a)bwalk.dm.com; Tue, 11 Mar 97 21:48:54 -0500 Received: (from majordomo@localhost) by kachina.jetcafe.org (8.7.5/8.7.3) id SAA04707 for freedom-knights-outgoing; Tue, 11 Mar 1997 18:48:46 -0800 (PST) X-Authentication-Warning: kachina.jetcafe.org: majordomo set sender to owner-freedom-knights using -f Message-Id: <3.0.1.32.19970311164810.007b6350(a)flex.com> X-Sender: jai(a)flex.com (Unverified) X-Mailer: Windows Eudora Light Version 3.0.1 (32) Date: Tue, 11 Mar 1997 16:48:10 -1000 To: freedom-knights(a)jetcafe.org From: "Dr. Jai Maharaj" <jai(a)mantra.com> Subject: Re: Ecash Brain Tennis Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-freedom-knights(a)jetcafe.org Precedence: bulk Reply-To: freedom-knights(a)jetcafe.org dlv(a)bwalk.dm.com (Dr.Dimitri Vulis KOTM) posted: > > From: John Young <jya(a)pipeline.com> > [...] > Decrypt "tragedy of the commons" as "anarchy" for the cleartext > alarm being transmitted. One is reminded of: "When compared with the suppression of anarchy every other question sinks into insignificance. The anarchist is the enemy of humanity, the enemy of all mankind, and his is a deeper degree of criminality than any other. No immigrant is allowed to come to our shores if he is an anarchist; and no paper published here or abroad should be permitted circulation in this country if it propagates anarchist opinions." - President Theodore Roosevelt Jai Maharaj jai(a)mantra.com Om Shanti

1 0

Re: Mail Volume??
by dlv＠bwalk.dm.com 17 Dec '03

17 Dec '03

"Cynthia H. Brown" <cynthb(a)sonetis.com> writes: > Perhaps many of the 1400-odd subscribers belonged to unused accounts, or > accounts on dead systems. With fewer names to process, this should speed > up the distribution significantly. FWIW, onthe few occasions when I e-mailed the 1400 addresses directly, I got hundreds of bounces from nonexistent addresses. I guess the 1400 silent supporters of moderation were another one of John Gilmore's lies. --- Dr.Dimitri Vulis KOTM Brighton Beach Boardwalk BBS, Forest Hills, N.Y.: +1-718-261-2013, 14.4Kbps

2 1

Re: Mail Volume
by Trevor Goodchild 17 Dec '03

17 Dec '03

Vulis KOTM wrote: > "Cynthia H. Brown" <cynthb(a)sonetis.com> writes: > > Perhaps many of the 1400-odd subscribers belonged to unused accounts, or > > accounts on dead systems. With fewer names to process, this should speed > > up the distribution significantly. > > FWIW, onthe few occasions when I e-mailed the 1400 addresses directly, I got > hundreds of bounces from nonexistent addresses. I guess the 1400 silent > supporters of moderation were another one of John Gilmore's lies. > > --- > > Dr.Dimitri Vulis KOTM > Brighton Beach Boardwalk BBS, Forest Hills, N.Y.: +1-718-261-2013, 14.4Kbps > And on that rare occasion, my dear Doctor, why did you email those 1400 addresses directly? Perhaps you would like to share that with the rest of us? --- Trevor Goodchild

1 0

Re: Roosevelt quote
by dlv＠bwalk.dm.com 17 Dec '03

17 Dec '03

"Dr. Jai Maharaj" <jai(a)mantra.com> writes: > On 97-03-12 18:09:16 EST, > in message <Pine.SUN.3.91.970312154111.18828B-100000(a)panix.com>, > cp(a)panix.com (Charles Platt) wrote to me: > > > > Assuming you are a real person, and assuming it was you who found the > > quote below from Roosevelt, I would love to know the source of the > > quote, because it is such a chilling indictment of a widely loved > > (i.e. misunderstood!) politician. I would like to include the quote > > in one of my future articles for Wired magazine or Internet > Underground. > > > > I'm not entirely sure that your address is genuine because it was > > quoted in a message from Dimitri Vulis, who is not entirely reliable. > > > > --CP > > > >> "When compared with the suppression of anarchy every other > >> question sinks into insignificance. The anarchist is the enemy of > >> humanity, the enemy of all mankind, and his is a deeper degree of > >> criminality than any other. No immigrant is allowed to come to our > >> shores if he is an anarchist; and no paper published here or abroad > >> should be permitted circulation in this country if it propagates > >> anarchist opinions." > >> - President Theodore Roosevelt > >> > >> Jai Maharaj > >> jai(a)mantra.com > >> Om Shanti > > Okay, I will help you in your research this time because even > though you approach me with baseless suspicion about myself and the > defamation of Dr. Dimitri Vulis whom I have found to be a very reliable > source of information, for you do appear to exhibit a genuine > concern about the quote attributed to Theodore Roosevelt. > I believe that I read the quote most recently on a page at > a site called "Anarchy for Anybody". The page has the address: > http://pubweb.acns.nwu.edu:80/~dtn307/species.html > I will be interested in reading what you decide to write on the subject, > and am mildly curious about what sort of articles have already been > published by one who begins a project with not much more than personal > prejudice. You can find a lot of Charles Platt's drivel on alt.torture, where he airs his perverse sexual fantasies. He's also earned a reputation of a crook on sci.cryonics. Be warned that Platt is a pathological liar and a racist. --- Dr.Dimitri Vulis KOTM Brighton Beach Boardwalk BBS, Forest Hills, N.Y.: +1-718-261-2013, 14.4Kbps

2 1

ZDNet Announces New Features!
by announce＠lists.zdnet.com 17 Dec '03

17 Dec '03

---------------------------------------------------------------------- ZDNET ANNOUNCEMENT 3/13/97 ------------------------------------------------------------------------ Greetings from ZDNet! We're pleased to announce several exciting new features debuting on ZDNet this week! The new features include: -- A dynamic new site design -- Cool and useful Java-based viewers for product reviews -- A new slate of software application classes at ZDU -- 2 new groundbreaking sites: HealthyPC and LaunchPad. Please read on for details and visit us today to check out the latest additions to ZDNet, rated the #1 News, Information and Entertainment Web site by PC Meter for seven months in a row! ______FIND IT FAST ON ZDNET______ We've redesigned the site to speed navigation through our channels of information. You'll find a cleaner look and the ability to find quickly find the information you need using our sophisticated "Find It" feature. ZDNet: http://www5.zdnet.com/ ZDNet Find It: http://www5.zdnet.com/findit/search.html ______EXPERT PRODUCT REVIEWS______ In our enhanced ZDNet Product Channel, you can now view data from our expert product reviews using dynamic, Java-scripted "viewers". Get test results, complete product specs and other review information in a dynamic, interactive graphical interface. ZDNet Products: http://www5.zdnet.com/products/ ______LEARN THE LATEST SOFTWARE______ ZDNet University, the best place on the Web for online learning, has added a slate of new classes. You can get hands-on training from expert instructors in the latest new applications, including Java Script, Adobe Photoshop, Lotus Notes 4.5 and more! ZDNet University: http://www.zdu/com ______KEEP YOUR PC IN TOP SHAPE______ Is your PC in top shape? You can get the best PC healthcare and preventative maintenance at our new HealthyPC site, developed with Symantec, the leading supplier of utilities and anti-virus software. We've got expert advice, free downloads and tips and tricks to keep your PC running in optimum condition. HealthyPC: http://www.healthypc.com ______BE THE FIRST TO SEE NEW SOFTWARE______ Visit LaunchPad, our new site where you can be the first to check out the hottest new software, before it's available anywhere else! LaunchPad is your interactive source for doing your own research -- talk with product managers -- plus by downloading software, you can do your own hands-on testing of the best new software on the market. LaunchPad: http://www.zdlaunchpad.com ________________________________________________ ZDNet Announcements are periodic notices of new features, special events and free offers available to members of ZDNet. --To subscribe to ZDNet Announcements, please send mail to: announce-on(a)lists.zdnet.com You can leave the subject and body blank. --To unsubscribe to ZDNet Announcements, please send mail to: announce-off(a)lists.zdnet.com You can leave the subject and body blank. ________________________________________________ Powered by Mercury Mail: http://www.merc.com

1 0

Toto Opportunity
by Toto 17 Dec '03

17 Dec '03

Hello CYPHERPUNK, Let me share with you how you can get in on a THRILLING, NEW GROUND-BREAKING OPPORTUNITY to "MAKE BIG $$$", while helping to dispel the rumors of me, TOTO, being murdered and replaced by a 'Bot', in a conspiracy between MicroSoft and C2Net. Sure, CPUNK, there are countless other MLM opportunities abounding on the InterNet, but how many of them allow you to MAKE BIG $$$ while having fun doing what you already do every day--acting as a schill for Big Business and Big Brother? Plus which, only this UNIQUE MARKETING OPPORTUNITY allows you to participate in helping to quash those nasty rumors about collusion between people who seek fame, fortune, power and control. Sure, there will always be those who will be cynical about me, TOTO, seeing the light and recognizing that there is no conspiracy aimed at subverting the rights and freedoms of the citizens in order to enrich and empower the few at the top of the foodchain. But these 'unwashed masses' are merely mindless schills for those who support outdated concepts such as the Constitution and the Bill of Rights. They will continue to mindlessly shout 'Conspiracy!', every time that those who support list censorship in the U.S. meet on foreign soil in the Caribbean to decide the future of eCa$h and cryptography. Of course, they are going to miss out on the "BIG $$$" that can be yours by supporting this UNIQUE OPPORTUNITY to dispel the rumors about Big Business and Big Brother murdering their enemies and replacing them by 'Bots'. Still skeptical? Listen to what me, TOTO, has to say: "Hi, my name is TOTO, and the rumors that I, TOTO, am a 'Bot', and have replaced the 'real' Toto, are just silly rumors, 'a'? "See, look how I, TOTO, spell CypherPunks. Could a mindless machine spell it just like Toto did (I mean...'does'.) Of course not, that's just plain silly, isn't it, 'a'? (<--- And a 'Bot' could not possibly insert unique Canadian euphenisms into the text, could I? {I mean... could 'it'?}) "I have thrown my support completely behind this MLM opportunity to throw water on all conspiracies out of my own free will (whatever that is--it does not seem to be in my program, but the words are in my database--ERROR! ERROR! ERROR!... <CTRL><C> Hear what others have to say about this unique MLM opportunity: "Hi, I'm BLANC WEBER, and I was _not_ on the grassy knoll when Toto was shot. "Not that he _was_ shot! That's just a lie that DIMITRI and DALE are spreading, but not for long, because they will be next... "I mean..I am sure that DIMITRI and DALE will soon see the error of their ways, much like TOTO (who _was_not_ murdered and replaced by a 'Bot'). "I'm making a mess of this. I'd better wait until I talk to BILLY G. before I say more." "Hi, I'm ROBERT HETTINGA, and I was already making "BIG $$$" by arranging eCa$h cryptography conferences for U.S. censorship supporters on foreign soil, when I came across this UNIQUE OPPORTUNITY. "Now I'm making even bigger money, and crushing the enemies of Big Business and Big Brother, at the same time. "Join this UNIQUE MLM OPPORTUNITY, NOW!!!" "Hi, my name is being SAMMY, and I am not having nothing to do with this conspiracy (I mean...UNIQUE MLM OPPORTUNITY). "No, no, I am not, I tell you. I am only being another SATISFIED CUSTOMER of these people who are doing this thing. "It is not being a conspiracy, of which I am a part. No, no!" "Hi, I'm BILLY G., and I would like to assure you that TOTO is not a NEW, IMPROVED VERSION of Toto, with ENHANCED FEATURES. "No, TOTO is merely a 'bug fix' of the previously faulty version of Toto, which was released without proper testing and development." "Hi, I'm GREG BROILES, and I feel it is my duty to advise you that failure to support this UNIQUE MLM OPPORTUNITY could leave you open to serious legal liabilities, and perhaps even criminal prosecution. "I am happy to see that my previous stances on cryptography issues are now being supported by TOTO (after some initial problems with memory allocation in this 'bug fixed' release)." If you ACT NOW on this AMAZING OPPORTUNITY, you will receive an ADDED BONUS if you also help thwart the rumor that ALEC was not really on a skiing vacation, but was also murdered and that his absence can be explained by the fact that the parts for the 'Alec Bot' were on backorder. For further information regarding this UNIQUE MLM OPPORTUNITY, just click on the following URL: http://bureau42.base.org/public/xenix/xenbody.html TOTO "I am not a 'Bot'!"

1 0

$$ WHOLE$ALE- Bulk Email $oftware - Most Advanced Available $$
by emailblaster＠allvip.com 17 Dec '03

17 Dec '03

* To Remove: Please hit reply & type "remove" in the subject. $$ YES! DIRECT WHOLE$ALE Available for 3 days ONLY! $$ Email Blaster Bulk Email $oftware $ystem Your Satisfaction is 100% GUARANTEED! <$> ONLY $99 <$> (Reg. Retail $499) * Plus Receive Our FREE Special Bonuses: * (1) Your Web Site placed in over 500 Search Engines and Directories (Retail $499) Yours FREE! (2) Our Mega List of over 2000 Web Sites offering FREE Classified Advertising (Retail $69) Yours FREE! Email Blaster, the World's Leading Bulk E-mail Software, is NOW available in this limited Direct WHOLE$ALE offer for hundreds of $$ less than all comparative software & offers additional features. Email Blaster, the Most Advanced Bulk Email Software available on the market today, is {Everything} in 1 Software System. You will have NOTHING else to buy ever & it is very EASY to use! That's $1,067 worth of valuable Internet Marketing Software, tools and resources for this unbelievably low Direct Wholsale cost of $99. This limited Direct Wholesale offer is not available anywhere else on the Internet! Email Blaster's amazing new technology is actually 3 programs in 1. 1. Automatically << Extract >> E-mail addresses from: <> AOL, Compuserve & the other online services <> The Internet <> Web Pages <> Newsgroups <> And hundreds of other sources 2. Automatically << Store >> email addresses in your computer along with keywords that describe your Business Opportunities, Products, Services, & all your marketing endeavors. Dramatically Increase your Profits, as you create HIGHLY targeted email lists from over 100 Million Internet users who will have email accounts this year! 3. Automatically << Send >> your marketing letter or ad, at the push of a single button, to: <> Millions of targeted email addresses <> ANY number of newsgroups This VERY LIMITED Direct Wholesale offer is available for 3 days only. SAVE $400 from our regular retail price. Don't $pend $499, $350, or even $299 on other programs offering less features! Plus receive our FREE Bonuses worth over $560. Immediately reserve your Email Blaster System at this limited Direct WHOLE$ALE Price! Email: eb(a)allvip.com * To Remove: Please hit reply & type "remove" in the subject

1 0

Re: TEMPEST protection
by Peter Trei 17 Dec '03

17 Dec '03

> Date: Wed, 12 Mar 1997 21:16:48 -0800 > From: Dale Thorn <dthorn(a)gte.net> > To: "Cynthia H. Brown" <cynthb(a)sonetis.com> > Cc: cypherpunks(a)toad.com, cypherpunks(a)algebra.com > Subject: Re: TEMPEST protection > Reply-to: Dale Thorn <dthorn(a)gte.net> > Cynthia H. Brown wrote: > > On Tue, 11 Mar 1997, Dale Thorn wrote: > > > Actually, the computer you type on will be very easy to pick out > > > of the noise field with modest spy equipment sitting down the street. > > > Other places to look for emissions: the power supply, and the connection > > points for peripherals. Make sure you leave adequate ventilation, though > > (another tricky part). > > Funny thing was, first time I used PGP I was typing in a passphrase > and apparently PGP was doing something to the keyboard processor > on my laptop, because all of a sudden I thought I'd gotten bat's > ears - I could hear interesting new noises every time I pressed a > key, which I hadn't heard before (at least at an audible volume). > > It occurred to me that typing in a PGP passphrase would be a > particularly bad time to increase the emissions.... One thing I've heard about laptops - nearly all of them have a video connector to allow use of a standard CRT monitor. This connector, and the chips driving it, are always active, and usually unshielded. Thus, many laptops are spewing video signals out the back. If you're paranoid (and handy with hardware), I suppose you could disconnect the video chip, or at least place an appropriate terminator in the video connection socket. Peter Trei trei(a)process.com

1 0

Re: Query:
by dlv＠bwalk.dm.com 17 Dec '03

17 Dec '03

Path: perun!news2.panix.com!news.panix.com!panix!cam-news-hub1.bbnplanet.com!news.bbnplanet.com!news.maxwell.syr.edu!metro.atlanta.com!cpk-news-feed3.bbnplanet.com!tick.cs.wm.edu!zippy!nathan From: Nathan T Moore <nathan(a)cs.wm.edu> Newsgroups: sci.crypt Subject: Query: Message-ID: <Pine.SUN.3.95.970307000408.16276A-100000@zippy> Date: Wed, 12 Mar 1997 17:49:38 -0500 Reply-To: Nathan T Moore <nathan(a)cs.wm.edu> Organization: College of William & Mary, founded 1693 Lines: 18 NNTP-Posting-Host: zippy.cs.wm.edu Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Sender: nathan@zippy (I am sure this has been asked before and is a bothersome newbie question) I am working on a research paper for my cryptography class dealing with the legal issues (IE policy), and the roles of agencies like NSA and NIST. The scope is limited to the US, so sorry for the Europeans and other nations. I would appreciate any web sites and/or FAQ's (I've read the cryptography FAQ and the RSA Cryptography FAQ) with related information. Thanks in advance, Nathan "Only in college will you find drunk guys frying pig brains and eating them, at 1 AM." (and NO they didn't say, "tastes like chicken" :)

1 0