Visible to the public 2006 HCSS Conference Program Agenda

2006 HCSS Conference Program Agenda

http://cps-vo.org/node/1358

Conference Archives: 20012002200320042005200620072008200920102011201220132014

Monday, April 17

8:30 am Tutorial: SPARK Language and Toolset: An Intensive Overview
Roderick Chapman, Praxis
10:00 am Break
10:30 am Tutorial: SPARK Language and Toolset: An Intensive Overview
Tutorial: Roderick Chapman, Praxis
Noon Lunch
1:30 pm Tutorial: Problems, Methods, and Tools of Security Engineering
Dusko Pavlovic, Kestrel Institute
3:00 pm Break
3:30 pm Tutorial: Problems, Methods, and Tools of Security Engineering
Dusko Pavlovic, Kestrel Institute
5:00 pm Adjourn for the day

Tuesday, April 18

8:30 am Welcome and Introductions
Fred Chang, NSA
8:40 am Keynote Presentation: Verified Software: The Next Step
Jayadev Misra, University of Texas
9:30 am Assured RTOS: Research Needs for Assured Real-Time Technology Infrastructure
Helen Gill, NSF
10:00 am Break
10:30 am Joe Jarzombek, DHS
11:00 am DoD Software Assurance Concept of Operations
Larry Wagoner, NSA
11:30 am NSA Center for Assured Software
Kris Britton, NSA
Noon Lunch
1:00 pm System-Specific Static Bug Finding: Tricks, (Bitter) Experience, Open Problems
Dawson Engler, Stanford University
1:45 pm Is Software Assurance An Oxymoron? Is Mathematics a Resolution?
Dan Craigen, CSE
2:30 pm Break
2:45 pm Computer Security Education: Are We There Yet?
Carol Taylor, University of Idaho
3:30 pm Practical Verification & Safeguard Tools for C/C++ and Java
Fred Michaud, DRDC
4:15 pm Function Extration (FX) Technology: Automated Calcluation of Program Behavior for Software Assurance
Stacy Prowell, Carnegie Mellon University
5:00 pm Adjourn for the day
6:30 pm HCSS Conference Dinner at The Chart House


Wednesday, April 19

8:30 am Keynote Presentation: Seeking Trust Through Specification, Verification, Evaluation, and Analysis
Warren Hunt, University of Texas
9:30 am Verified Cryptographic Protocol Analysis Vision and Status
Carolyn Talcott, SRI
10:15 am Break
10:30 am High-Confidence Java Card Applets and Runtime Environment
Alessandro Coglio, Kestrel Institute
11:15 am Building Multilevel Secure Web Services-Based Components for the Global Information Grid
John Launchbury, Galois Connections
Noon Lunch
1:00 pm Destiny: Computer Aided Bottom Up Code Review
Frank Rimlinger, NSA
1:45 pm Robust Verification Tools for Improved Secure System Evaluation
David Hardin, Rockwell Collins
2:30 pm Break
2:45 pm Defect Density Estimation Through Verificaiton and Validation
Mark Sherriff, NC State
3:30 pm Formalized Elliptic Curve Cryptography
Joe Hurd, Cambridge University
4:15 pm Proving Separation for a Working Microkernel Implementation
Andrew Tolmach (Portland State University) and John Matthews (Galois Connections)
5:00 pm Conference Adjourned