| HOME | CONTACT | PAST CONFERENCES | PRESS |  |
     |
|
Sunday, 16 May 2010
4-7pm Registration and
Welcome Reception
Monday, 17 May 2010
7:30am-5pm
7-8:30am Breakfast
8:30–8:45am
8:45–10:00 Session
1: Malware Analysis
Chair: Jon Giffin,
Georgia Institute of Technology
Inspector Gadget: Automated Extraction of Proprietary Gadgets
from Malware Binaries
Synthesizing Near-Optimal Malware Specifications from
Suspicious Behaviors
Identifying Dormant Functionality in Malware
Programs
10:00–10:20 Break
10:20–noon
Session 2: Information Flow
Chair: David Molnar, Microsoft Research Redmond
Reconciling Belief and Vulnerability in Information
Flow
Towards Static Flow-Based Declassification for Legacy and Untrusted
Programs
Non-Interference Through Secure Multi-Execution
Object Capabilities and Isolation of Untrusted Web
Applications
noon–1:30 Lunch
1:30–2:45 Session
3: Root of Trust
Chair: Radu Sion, Stony Brook
University
TrustVisor: Efficient TCB Reduction and Attestation
Overcoming an Untrusted Computing Base: Detecting and Removing
Malicious Hardware Automatically
Tamper Evident Microprocessors
2:45–3:15 Break
3:15–4:55 Session
4: Information Abuse
Chair: Patrick Traynor, Georgia
Institute of Technology
Side-Channel Leaks in Web Applications: a Reality Today, a
Challenge Tomorrow
Investigation of Triangular Spamming: a Stealthy and Efficient
Spamming Technique
A Practical Attack to De-Anonymize Social Network
Users
SCiFI - A System for Secure Face
Identification
5:00pm
Buses start loading for special event
Buses will leave from the Claremont front entrance to the reception. [Walking
directions (about 30 minutes)]
5:30pm
Reception at Pauley Ballroom
6:30pm
Special Gala Dinner Celebrating the 30th Anniversary of Security and
Privacy (at the Pauley Ballroom)
Reception, dinner and awards ceremony
Master of Ceremonies: Peter G. Neumann 9:20pm
Buses start to leave from Pauley Ballroom back
to Claremont
Tuesday, 18 May 2010
7:30-9am Breakfast
9–10:15am Session 5: Network Security
Chair: Nikita Borisov, University
of Illinois at Urbana-Champaign
Round-Efficient Broadcast Authentication Protocols for Fixed
Topology Classes
Revocation Systems with Very Small Private
Keys
Authenticating Primary Users' Signals in Cognitive Radio
Networks via Integrated Cryptographic and Wireless Link Signatures
10:45–noon Session
6: Systematization of Knowledge I
Chair: Z. Morley Mao, University of
Michigan
Outside the Closed World: On Using Machine Learning For Network
Intrusion Detection
All You Ever Wanted to Know about Dynamic Taint Analysis and
Forward Symbolic Execution (but might have been afraid to ask)
State of the Art: Automated Black-Box
Web Application Vulnerability Testing
noon–1:45pm
Lunch and Business Meeting
1:45–3:00pm Session
7: Secure Systems
Chair: Jonathan McCune, Carnegie
Mellon University
A Proof-Carrying File System
Scalable Parametric Verification of Secure Systems:
How to Verify Reference Monitors without Worrying about Data Structure
Size
HyperSafe: A Lightweight Approach to Provide Lifetime Hypervisor
Control-Flow Integrity
3:00–3:20 Break
3:20–4:10 Session
8: Systematization of Knowledge II
Chair: Ed
Suh, Cornell University
How Good are Humans at Solving CAPTCHAs? A Large
Scale Evaluation
Bootstrapping Trust in Commodity Computers
4:10–4:30 Break
4:30–5:30 Short
Talks
Short Talks Chair: Angelos
Stavrou, George Mason University
Call for Short Talks (abstract submissions
due 1 May 2010)
5:45–7:30pm
Reception and Poster Session
Poster Session Chair: Carrie Gates (CA Labs) and
Terry Benzel (USC-ISI)
Wednesday, 19 May 2010
7:30-9am Breakfast
9–10:15am Session
9: Analyzing Deployed Systems
Chair: J. Alex Halderman,
University of Michigan
Chip and PIN is Broken
Experimental Security Analysis of a Modern
Automobile
On the Incoherencies in Web Browser Access Control
Policies
10:45–noon Session
10: Language-Based Security
Chair: David
Brumley,Carnegie Mellon University
ConScript: Specifying and Enforcing
Fine-Grained Security Policies for JavaScript in the Browser
TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic
Software Vulnerability Detection
A Symbolic Execution Framework for JavaScript
noon–12:15 Closing
1:30-5:00pm US Cybersecurity R&D
Immediately following the symposium representatives from NSF, DHS, and other agencies will present new US Federal cybersecurity R&D themes. The themes will guide future Federal research activities and solicitations and are components of the framework for cybersecurity R&D called for in the President's Cyberspace Policy Review. This event, which is held at the Claremont and is open to all symposium attendees, will be the first in-depth review of these Federal cybersecurity R&D objectives and will provide insights into the priorities that are shaping the direction of Federal research activities. For more information, visit http://www.nitrd.gov/. Thursday, 20 May 2010
7:30-9am Breakfast
All Day Workshops (separate registration required)
See you in 2011!
|
|