Draft

forum

Visible to the public CNLN: van der Pol

I have seen the van der Pol system in many papers, so probably most tools/tool authors have this example at their disposal:

x' = y

y' = (1 - x^2)*y - x

Is this interesting for the competition?

file

Visible to the public Final Report: 2008 Berkeley SoS Workshop

The NSF/IARPA/NSA Workshop on the Science of Security was held November 17-18, 2008 in Berkeley, CA.  This meeting brought together over 40 government and academic professionals from computer security and a wide variety of other relevant fields to consider the state of scientific research in computer security and to identify steps toward establishing a stronger scientific basis for computer system security.