Visible to the public 2006 HCSS Conference Program Agenda

Submitted by Katie Dey on Thu, 08/04/2011 - 3:30pm

2006 PROGRAM AGENDA

 

MONDAY, APRIL 17

TUESDAY, APRIL 18

 WEDNESDAY, APRIL 19
0830 - 0840 Tutorial
SPARK Language and Toolset: An Intensive Overview
Roderick Chapman (Praxis)

Welcome and Introductions
Fred Chang (NSA)

 Keynote Presentation
Seeking Trust Through Specification, Verification, Evaluation, and Analysis
Warren Hunt (University of Texas)
0840 - 0930

Keynote Presentation 
Verified Software: The Next Step
Jayadev Misra (University of Texas)
0930 - 1000

Assured RTOS: Research Needs for Assured Real-Time Technology Infrastructure
Helen Gill (NSF)

 Verified Cryptographic Protocol Analysis Vision and Status
Carolyn Talcott (SRI)
1000 - 1015 BREAK BREAK
1015 - 1030

BREAK
1030 - 1100 Tutorial 
SPARK Language and Toolset:
An Intensive Overview
Roderick Chapman (Praxis)

Joe Jarzombek (DHS)

High-Confidence Java Card Applets and Runtime Environment
Alessandro Coglio (Kestrel Institute)
1100 - 1115

DoD Software Assurance Concept of Operations
Larry Wagoner (NSA)
1115 - 1130

Building Multilevel Secure Web Services-Based Components for the Global Information Grid
John Launchbury
(Galois Connections)
1130 - 1200

NSA Center for Assured Software
Kris Britton (NSA)
1200 - 1300 LUNCH

LUNCH

LUNCH
1300 - 1330

System-Specific Static Bug Finding: Tricks, (Bitter) Experience, Open Problems
Dawson Engler (Stanford University)

Destiny: Computer Aided Bottom Up Code Review
Frank Rimlinger (NSA)
1330 - 1345

Tutorial
Problems, Methods, and Tools of Security Engineering
Dusko Pavlovic (Kestrel Institute)
1345 - 1400 Is Software Assurance An Oxymoron? Is Mathematics a Resolution?
Dan Craigen (CSE)

Robust Verification Tools for Improved Secure System Evaluation
David Hardin, Rockwell Collins
1400 - 1430
1430 - 1445 BREAK

BREAK
1445 - 1500

Computer Security Education: Are We There Yet?
Carol Taylor (University of Idaho)

Defect Density Estimation Through Verificaiton and Validation
Mark Sherriff (NC State)
1500 - 1530 BREAK
1530 - 1600 Tutorial
Problems, Methods, and Tools of Security Engineering
Dusko Pavlovic (Kestrel Institute)		 Practical Verification & Safeguard Tools for C/C++ and Java
Fred Michaud (DRDC)

Formalized Elliptic Curve Cryptography
Joe Hurd (Cambridge University)
1600 - 1615
1615 - 1700

Function Extration (FX) Technology: Automated Calcluation of Program Behavior for Software Assurance
Stacy Prowell
(Carnegie Mellon University)

Proving Separation for a Working Microkernel Implementation
Andrew Tolmach (Portland State University) and John Matthews (Galois Connections)
1700

Adjourn for the Day

Adjourn for the Day

 

Conference Adjourned
1830

Conference Dinner

The Chart House
300 2nd Street
Annapolis, MD 21403