From lgj at usenix.org Fri Mar 12 12:55:53 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Fri, 12 Mar 2010 09:55:53 -0800 Subject: [ocuug] USENIX HotSec '10 Call for Papers Now Available Message-ID: <05F3479B-058C-42F8-B6F9-C86B86E05AA9@usenix.org> The Call for Papers for the 5th USENIX Workshop on Hot Topics in Security is now available. On behalf of the program committee, we invite you to submit position papers on new directions of research, non-traditional approaches, noteworthy experience in an emerging area, or an important topic that will generate lively discussion. Please submit all papers by May 3, 2010, 11:59 p.m. PDT. We expect that most accepted position papers will fall into one or more of the following categories: * Fundamentally new techniques, approaches, or perspectives for dealing with current security problems * New, major problems arising from new technologies that are now being developed or deployed * Truly surprising results that cause rethinking of previous approaches HotSec takes a broad view of security and privacy and encompasses research on topics including, but not limited to, large-scale threats, network security, hardware security, software security, programming languages, applied cryptography, anonymity, human-computer interaction, sociology, and economics. To encourage discussion, attendance will be limited to 35-50 participants, with preference given to the authors of accepted position papers/presentations. Each author will have 10-15 minutes to present his or her idea, followed by 15-20 minutes of discussion with the workshop participants. Submissions are due Monday, May 3, 2010, 11:59 p.m. PDT. For more details on the submission process, please see the complete Call for Papers at http://www.usenix.org/hotsec10/cfpa/ We look forward to receiving your submissions! Wietse Venema, IBM Research HotSec '10 Program Chair hotsec10chair at usenix.org --------------------------------- Call for Papers 5th USENIX Workshop on Hot Topics in Security August 10, 2010 Washington, DC http://www.usenix.org/hotsec10/cfpa/ Submissions Deadline: May 3, 2010, 11:59 p.m. PDT --------------------------------- From lgj at usenix.org Fri Mar 12 13:57:36 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Fri, 12 Mar 2010 10:57:36 -0800 Subject: [ocuug] SSV '10 Call for Papers Now Available Message-ID: <07575574-7D0D-4544-A059-CC5C78A4669A@usenix.org> On behalf of the 5th International Workshop on Systems Software Verification (SSV '10) program committee, we'd like to invite you to contribute papers that focus on finding real, applicable solutions to systems software verification problems. Paper registration and abstracts are due Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11). Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, and static analysis techniques, as well as correctness by design, correctness by contract, and model-driven development. However, many techniques are working under restrictive assumptions that are invalidated by complex embedded systems software such as operating system kernels, low-level device drivers, or microcontroller code. The aim of this workshop is to bring together researchers and developers from both academia and industry who are facing real software and real problems with the goal of finding real, applicable solutions. By "real" we mean problems such as time-to-market or reliability that the industry is facing. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic, toy version of it. In this workshop we will discuss software analysis and development techniques and tools; this forum will serve as a platform to discuss open problems and future challenges in dealing with existing and upcoming systems-level code. Topics include but are not limited to: * Model checking * Automated and interactive theorem proving * Static analysis * Automated testing * Model-driven development * Embedded systems development * Programming languages * Verifying compilers * Software certification * Software tools * Experience reports Paper registration and abstracts are due Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11). For more details on the submission process, please see the complete Call for Papers at: http://www.usenix.org/ssv10/cfpa/ SSV '10 will be held immediately following the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), which will take place October 4-6, 2010. We look forward to receiving your submissions! Ralf Huuck, NICTA and University of New South Wales, Australia Gerwin Klein, NICTA and University of New South Wales, Australia Bastian Schlich, RWTH Aachen University, Germany SSV '10 Program Co-Chairs ssv10chairs at usenix.org P.S. We'd like to thank our sponsors NICTA and Microsoft Research for their support. --------------------------------- Call for Papers 5th International Workshop on Systems Software Verification October 6-7, 2010 Vancouver, BC, Canada http://www.usenix.org/ssv10/cfpa/ Paper registration and abstracts due: Friday, May 28, 2010, 11:59 p.m. Samoan time (UTC-11) From drulavigne at sympatico.ca Fri Mar 12 14:15:03 2010 From: drulavigne at sympatico.ca (Dru Lavigne) Date: Fri, 12 Mar 2010 19:15:03 +0000 Subject: [ocuug] next week's meeting Message-ID: In addition to being St. Paddy's day (a great excuse to eat pizza and drink beer with your fellow geeks), I received a box of the Definitive Guide to PC-BSD today, even though it hasn't quite hit the stores yet. If anyone is interested in an autographed copy, let me know and I'll bring some with me. I also have a bunch of PC-BSD 8-RC2 DVDs for anyone who wants some. These are live DVDs (finally!) and I have both 32 and 64 bit versions. Hope to see a bunch of you on Wednesday! Cheers, Dru -------------- next part -------------- An HTML attachment was scrubbed... URL: http://listserv.storm.ca/pipermail/ocuug/attachments/20100312/94c9b985/attachment.htm From fishern at ncf.ca Thu Mar 18 09:24:56 2010 From: fishern at ncf.ca (Normand Fisher) Date: Thu, 18 Mar 2010 08:24:56 -0500 Subject: [ocuug] PC-BSD 8 live fails Message-ID: WOW! Thanks to Dru for an interesting book. After last night meeting I started reading "The Definitive Guide to PC-BSD" and wanted to check PC-BSD out. However, when trying both the 32-bit and the 64-bit version, I can only get as far as choosing Live CD from the menu. At that point, I get a large number of messages similar to: "FAILURE-READ-BIG HARDWARE ERROR asc=0x08 ascq=0x03" followed by a message to type exit. I tried the DVD on another machine and it does work. The pc is a: MOTHERBOARD is ASUS A8V-VM CPU is AMD Athlon 64 3500+ (X86 family 15 Model 47 stepping 2 authenticAMD ~2200 Mhz) BIOS is American Megatrends 080012, 12/27/2005 RAM is 768 MB Searching the PC-BSD FAQ and googling failed to help me. Any ideas where I should look for info? Thanks for pointers. Normand From lgj at usenix.org Thu Mar 18 12:21:43 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Thu, 18 Mar 2010 09:21:43 -0700 Subject: [ocuug] HotCloud '10 Submission Deadline Approaching Message-ID: <5DC21293-3F88-4726-972F-3CF99786BB90@usenix.org> We're writing to remind you that submission deadline for the 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '10) program committee is approaching. Please submit your work by Tuesday, March 23, 2010. http://www.usenix.org/hotcloud10/cfpb Cloud computing has attracted a great deal of attention both from the research community and from industry. The cloud computing paradigm has evolved over the years from a basic IT infrastructure (data centers) to platform as a service (PaaS), and then from software as a service (SaaS) to complete service enablement on a hosted infrastructure (IaaS). At the same time, virtualization has emerged as a key enabler for the cloud computing paradigm. Several challenges arise in the design, implementation, and deployment of virtualized clouds. HotCloud will provide a forum for academics as well as practitioners in the field to share their experience, leverage each other's perspectives, and identifynew/emerging "hot" trends in this area. Topics of interest include but are not limited to the following: * Platform as a service * Software as a service * Infrastructure as a service * Elasticity and availability in a cloud * Multi-tenancy * Storage cloud * Charging models and economics * Power-efficient ("green") computing for clouds * Virtual appliance management and composition * Monitoring, troubleshooting, and failure recovery * Cloud management and configuration * Programming models * Security and privacy in clouds * New applications for clouds * Mobile clouds * Cloud usage scenarios For more details on the submission process, please see the complete Call for Papers at: http://www.usenix.org/hotcloud10/cfpb We look forward to receiving your submissions! Erich Nahum, IBM T.J. Watson Research Center Dongyan Xu, Purdue University HotCloud '10 Program Co-Chairs hotcloud10chairs at usenix.org --------------------------------- Call for Papers 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '10) June 22, 2010 Boston, MA, USA http://www.usenix.org/hotcloud10/cfpb Submissions Deadline: March 23, 2010 --------------------------------- From lgj at usenix.org Thu Mar 18 13:59:50 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Thu, 18 Mar 2010 10:59:50 -0700 Subject: [ocuug] HotCloud '10 Submission Deadline Approaching Message-ID: We're writing to remind you that submission deadline for the 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '10) program committee is approaching. Please submit your work by Tuesday, March 23, 2010. http://www.usenix.org/hotcloud10/cfpb Cloud computing has attracted a great deal of attention both from the research community and from industry. The cloud computing paradigm has evolved over the years from a basic IT infrastructure (data centers) to platform as a service (PaaS), and then from software as a service (SaaS) to complete service enablement on a hosted infrastructure (IaaS). At the same time, virtualization has emerged as a key enabler for the cloud computing paradigm. Several challenges arise in the design, implementation, and deployment of virtualized clouds. HotCloud will provide a forum for academics as well as practitioners in the field to share their experience, leverage each other's perspectives, and identifynew/emerging "hot" trends in this area. Topics of interest include but are not limited to the following: * Platform as a service * Software as a service * Infrastructure as a service * Elasticity and availability in a cloud * Multi-tenancy * Storage cloud * Charging models and economics * Power-efficient ("green") computing for clouds * Virtual appliance management and composition * Monitoring, troubleshooting, and failure recovery * Cloud management and configuration * Programming models * Security and privacy in clouds * New applications for clouds * Mobile clouds * Cloud usage scenarios For more details on the submission process, please see the complete Call for Papers at: http://www.usenix.org/hotcloud10/cfpb We look forward to receiving your submissions! Erich Nahum, IBM T.J. Watson Research Center Dongyan Xu, Purdue University HotCloud '10 Program Co-Chairs hotcloud10chairs at usenix.org --------------------------------- Call for Papers 2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '10) June 22, 2010 Boston, MA, USA http://www.usenix.org/hotcloud10/cfpb Submissions Deadline: March 23, 2010 --------------------------------- From fishern at ncf.ca Thu Mar 18 15:37:23 2010 From: fishern at ncf.ca (Normand Fisher) Date: Thu, 18 Mar 2010 15:37:23 -0400 Subject: [ocuug] PC-BSD 8 live fails Message-ID: Hi, thanks for your suggestion. I did try another drive and that seem to solve this first problem. However, I'm getting a different problem. Now I get as far as "can't exec getty '/usr/libexec/getty' on port ttyv1" (actually 0 to 5). It just reiterate the same thing every 30 seconds. Could it be that this relates to SATA (this is the only thing I found on the web but it was referring to PCBSD 6.1)? Normand ----- Original Message ----- From: Brodey Dover Date: Thursday, March 18, 2010 3:05 pm Subject: Re: [ocuug] PC-BSD 8 live fails > Did you try booting with ACPI disabled? Did you try using a different > optical drive? > > Brodey > > On Thu, Mar 18, 2010 at 9:24 AM, Normand Fisher > wrote: > > WOW! Thanks to Dru for an interesting book. > > > > After last night meeting I started reading "The Definitive Guide to > > PC-BSD" and wanted to check PC-BSD out. > > > > However, when trying both the 32-bit and the 64-bit version, I > can only > > get as far as choosing Live CD from the menu. At that point, I > get a > > large number of messages similar to: > > "FAILURE-READ-BIG HARDWARE ERROR asc=0x08 ascq=0x03" followed by a > > message to type exit. > > > > I tried the DVD on another machine and it does work. > > > > The pc is a: > > MOTHERBOARD is ASUS A8V-VM > > CPU is AMD Athlon 64 3500+ (X86 family 15 Model 47 stepping 2 > > authenticAMD ~2200 Mhz) > > BIOS is American Megatrends 080012, 12/27/2005 > > RAM is 768 MB > > > > Searching the PC-BSD FAQ and googling failed to help me. > > > > Any ideas where I should look for info? > > > > Thanks for pointers. > > > > Normand > > > > > > > > _______________________________________________ > > OCUUG mailing list > > OCUUG at listserv.storm.ca > > http://listserv.storm.ca/mailman/listinfo/ocuug > > > From scott5 at ovsage.org Thu Mar 18 17:47:47 2010 From: scott5 at ovsage.org (Scott Murphy) Date: Thu, 18 Mar 2010 17:47:47 -0400 Subject: [ocuug] PC-BSD 8 live fails In-Reply-To: References: Message-ID: <4BA29F83.6040906@ovsage.org> Not yet, however it is an RC, not the final release. I am downloading the final version as well to test. I do have a couple of 64 bit machines I can try it on. I'll let you know after the weekend. On 2010/03/18 09:24, Normand Fisher wrote: > WOW! Thanks to Dru for an interesting book. > > After last night meeting I started reading "The Definitive Guide to > PC-BSD" and wanted to check PC-BSD out. > > However, when trying both the 32-bit and the 64-bit version, I can only > get as far as choosing Live CD from the menu. At that point, I get a > large number of messages similar to: > "FAILURE-READ-BIG HARDWARE ERROR asc=0x08 ascq=0x03" followed by a > message to type exit. > > I tried the DVD on another machine and it does work. > > The pc is a: > MOTHERBOARD is ASUS A8V-VM > CPU is AMD Athlon 64 3500+ (X86 family 15 Model 47 stepping 2 > authenticAMD ~2200 Mhz) > BIOS is American Megatrends 080012, 12/27/2005 > RAM is 768 MB > > Searching the PC-BSD FAQ and googling failed to help me. > > Any ideas where I should look for info? > > Thanks for pointers. > > Normand > > > > _______________________________________________ > OCUUG mailing list > OCUUG at listserv.storm.ca > http://listserv.storm.ca/mailman/listinfo/ocuug > From drulavigne at sympatico.ca Fri Mar 19 08:10:00 2010 From: drulavigne at sympatico.ca (Dru Lavigne) Date: Fri, 19 Mar 2010 12:10:00 +0000 Subject: [ocuug] PC-BSD 8 live fails In-Reply-To: References: Message-ID: Hi Normand, Send these details to: testing at lists.pcbsd.org as that will reach the largest audience and should hit someone with similar hardware who can test the fix. Cheers, Dru --- WOW! Thanks to Dru for an interesting book. After last night meeting I started reading "The Definitive Guide to PC-BSD" and wanted to check PC-BSD out. However, when trying both the 32-bit and the 64-bit version, I can only get as far as choosing Live CD from the menu. At that point, I get a large number of messages similar to: "FAILURE-READ-BIG HARDWARE ERROR asc=0x08 ascq=0x03" followed by a message to type exit. I tried the DVD on another machine and it does work. The pc is a: MOTHERBOARD is ASUS A8V-VM CPU is AMD Athlon 64 3500+ (X86 family 15 Model 47 stepping 2 authenticAMD ~2200 Mhz) BIOS is American Megatrends 080012, 12/27/2005 RAM is 768 MB Searching the PC-BSD FAQ and googling failed to help me. Any ideas where I should look for info? Thanks for pointers. Normand -------------- next part -------------- An HTML attachment was scrubbed... URL: http://listserv.storm.ca/pipermail/ocuug/attachments/20100319/e7b441ea/attachment.htm From lgj at usenix.org Fri Mar 19 12:12:48 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Fri, 19 Mar 2010 09:12:48 -0700 Subject: [ocuug] CSET '10 Call for Papers Now Open Message-ID: On behalf of the 3rd Workshop on Cyber Security Experimentation and Test (CSET '10) program committee, we'd like to invite you to submit papers on the science, design, architecture, construction, operation, and use of cyber security experiments in network testbeds and infrastructures. Please submit all papers by May 24, 2010, 11:59 p.m. PDT. Topics of interest include but are not limited to: * Science of security/testbed experimentation - Data and tools to achieve realistic experiment setup/scenarios - Diagnosis of and methodologies for dealing with experimental artifacts - Support for experimentation on a large scale (virtualization, federation, high fidelity scale-down) - Tools and methodologies to achieve, and metrics to measure, correctness, repeatability, and sharing of experiments * Testbeds and methodologies - Tools, methodologies, and infrastructure that support risky experimentation - Support for experimentation in emerging security topics (cyber-physical systems, wireless, botnets, etc.) - Novel experimentation approaches (e.g., coupling of emulation and simulation) - Experience in designing or deploying secure testbeds - Instrumentation and automation of experiments; their archiving, preservation, and visualization - Fair sharing of testbed resources * Hands-on security education - Experiences teaching security classes that use hands-on security experiments for homework, in-class demonstrations, or class projects - Experiences from red team/blue team exercises Submissions are due Monday, May 24, 2010, 11:59 p.m. PDT. For more details on the submission process, please see the complete Call for Papers at: http://www.usenix.org/cset10/cfpa/ We look forward to receiving your submissions! Terry V. Benzel, USC Information Sciences Institute (ISI) CSET '10 General Chair Jelena Mirkovic, USC Information Sciences Institute (ISI) Angelos Stavrou, George Mason University CSET '10 Program Co-Chairs cset10chairs at usenix.org --------------------------------- Call for Papers 3rd Workshop on Cyber Security Experimentation and Test August 9, 2010 Washington, DC http://www.usenix.org/cset10/cfpa/ Submissions Deadline: May 24, 2010, 11:59 p.m. PDT --------------------------------- From fishern at ncf.ca Sat Mar 20 14:39:57 2010 From: fishern at ncf.ca (Normand Fisher) Date: Sat, 20 Mar 2010 13:39:57 -0500 Subject: [ocuug] My search for answers is moved to the testinglist at PCBSD Message-ID: Following Dru's advice, I am moving my questions over to the testing list at PC-BSD. Below is what I have sent (as an update). Thanks all for your help. Normand ============================ To: testing at lists... I am trying to get the Live PC-BSD (v8-rc2) to work on my pc without success. I have successfully used the same DVD copies (32-bit and 64-bit) on other machines without problems. Initially after choosing option 3 'Live CD' I was getting a message such as: "FAILURE-READ-BIG HARDWARE ERROR asc=0x08 ascq=0x03" followed by a message to type exit. I changed the optical drive and it solved that first problem. However, I am not much further ahead as I now get "can't exec getty '/usr/libexec/getty' on port ttyv1" (actually 1 to 5). I downloaded and burned the most recent version this morning but it is no different. Could it be that PCBSD does not support SATA (this is the only thing I found on the web but it was referring to PCBSD 6.1)? I have also changed AHCI mode to IDE and I still face the same problem. Surprisingly, if I try to load PC-BSD Live on a virtual machine (VirtualBox), it does run but at a, as expected, very slow pace. The pc is a: MOTHERBOARD is ASUS A8V-VM CPU is AMD Athlon 64 3500+ (X86 family 15 Model 47 stepping 2 authenticAMD ~2200 Mhz) BIOS is American Megatrends 080012, 12/27/2005 RAM is 768 MB Searching the PC-BSD FAQ and googling failed to help me. Any ideas where I should look for info? Thanks Normand From fishern at ncf.ca Mon Mar 22 21:39:53 2010 From: fishern at ncf.ca (Normand Fisher) Date: Mon, 22 Mar 2010 20:39:53 -0500 Subject: [ocuug] PC-BSD 8 live fails NO MORE! Message-ID: Thanks to all of you for your support. I finally modified the BIOS setting to disable the Serial ATA Controller and that did the trick. I can now boot the Live CD. Normand ----- Original Message ----- From: Dru Lavigne Date: Friday, March 19, 2010 7:10 am Subject: RE: [ocuug] PC-BSD 8 live fails > > Hi Normand, > > Send these details to: > > testing at lists.pcbsd.org > > as that will reach the largest audience and should hit someone with > similar hardware who can test the fix. > > Cheers, > > Dru > > --- > WOW! Thanks to Dru for an interesting book. > > After last night meeting I started reading "The Definitive Guide to > PC-BSD" and wanted to check PC-BSD out. > > However, when trying both the 32-bit and the 64-bit version, I can > onlyget as far as choosing Live CD from the menu. At that point, I > get a > large number of messages similar to: > "FAILURE-READ-BIG HARDWARE ERROR asc=0x08 ascq=0x03" followed by a > message to type exit. > > I tried the DVD on another machine and it does work. > > The pc is a: > MOTHERBOARD is ASUS A8V-VM > CPU is AMD Athlon 64 3500+ (X86 family 15 Model 47 stepping 2 > authenticAMD ~2200 Mhz) > BIOS is American Megatrends 080012, 12/27/2005 > RAM is 768 MB > > Searching the PC-BSD FAQ and googling failed to help me. > > Any ideas where I should look for info? > > Thanks for pointers. > > Normand > From lgj at usenix.org Wed Mar 31 15:41:58 2010 From: lgj at usenix.org (Lionel Garth Jones) Date: Wed, 31 Mar 2010 12:41:58 -0700 Subject: [ocuug] HealthSec '10 Submission Deadline April 9 Message-ID: <782DDA30-1014-42D5-A767-F841082F1A42@usenix.org> We're writing to remind you that the submission deadline for the 1st USENIX Workshop on Health Security and Privacy (HealthSec '10) is quickly approaching. Please submit all work by Friday, April 9, 2010, 11:59 p.m. PDT (firm deadline). http://www.usenix.org/healthsec10/cfpb/ HealthSec '10 is intended as a forum for lively discussion of aggressively innovative and potentially disruptive ideas on all aspects of medical and health security and privacy. A fundamental goal of the workshop is to promote cross-disciplinary interactions between fields, including, but not limited to, technology, medicine, and policy. Surprising results and thought-provoking ideas will be strongly favored; complete papers with polished results in well-explored research areas are comparatively discouraged. Given the goals for HealthSec '10, the submission requirements are modest: 2-page papers that clearly espouse a position and that will promote discussion. Position papers will be selected for their potential to stimulate or catalyze further research and explorations of new directions, as well as for their potential to spark productive discussions at the workshop. Workshop topics are solicited in all areas relating to healthcare information security and privacy, including: * Security and privacy models for healthcare information systems * Industrial experiences in healthcare information systems * Deployment of open systems for secure and private use of healthcare information technology * Security and privacy threats against and countermeasures for existing and future medical devices * Regulatory and policy issues of healthcare information systems * Privacy of medical records * Usability issues in healthcare information systems * Threat models for healthcare information systems For more details on the submission process, please see the complete Call for Papers at: http://www.usenix.org/healthsec10/cfpb/ We look forward to receiving your submissions! Kevin Fu, University of Massachusetts Amherst Tadayoshi Kohno, University of Washington Avi Rubin, Johns Hopkins University HealthSec '10 Program Chairs healthsec10chairs at usenix.org --------------------------------- Call for Papers 1st USENIX Workshop on Health Security and Privacy (HealthSec '10) August 10, 2010 Washington, DC http://www.usenix.org/healthsec10/cfpb/ Submissions deadline: April 9, 2010, 11:59 p.m. PDT --------------------------------