INTEL MEETING
Wednesday, April 28th
2-3pm
1131 EU II
In attendance:
Jim Hoagland (JH), Christina Chung (CC), Nicole Carlson (NC), Karl
Levitt (KL)
TOPICS
Meeting with Baiju
Next Meeting
SCIPAD
-
Meeting with Baiju
-
KL I have not gotten in touch with Baiju. Meet in May. JH: Visit him to
give talk to group at a later date.
-
May 27th – Baiju may prefer Fridays, May 21st first
choice
-
KL: If Baiju comes down, we could give talks on JH and NC stuff (GrIDS,
LASCO), CC work, and ST work. At CYC, they slurp in a database (HTML code
or any structured data), TCP SYN, rules what these mean, but can express
grammar of database without typing it in. Input reasoning tools.
-
With Matt’s work, slurp in vulnerabilities database, find out if through
this vulnerability, could we be threatened by a worm? Reasoning about vulnerabilities.
Could report on that to Intel.
-
For next meeting, talk about GrIDS and LASCO, invite Jeff and other GrIDS
people
-
NC: Teaching myself Perl, GrIDS, LASCO, add new rule functions to rule
set – discuss progress at next meeting.
-
Following meeting invite Matt to discuss his vulnerability database.
-
KL: I liked the SCIPAD stuff, there’s a paper there – more technical and
broader.
-
Use of SCIPAD
-
What questions we can ask of any piece of code?
-
Ways of reasoning about vulnerabilities.