ACM/NSF SafeConfig Workshop Technical Program

8:30-8:35	Opening Talk
8:35-9:30	Invited Talk: Vision of SCAP, Tony Sager (National Security Agency)
9:30-10:40	Session 1: Short and Position Papers
	Multi-Aspect Security Configuration Assessment Mirko Montanari (University of Illinois at Urbana-Champaign, US); Roy Campbell (University of Illinois at Urbana-Champaign, US)
	Trust Based Security Auto-Configuration for Smart Assisted Living Environments Md. Endadul Hoque (Marquette University, US), Farzana Rahman (Marquette University, US), Sheikh Iqbal Ahamed (Marquette University, US), Lin Liu (Tsinghua University, China)
	ePet: When Cellular Phone Learns to Recognize Its Owner Mohammad Tanviruzzaman (Marquette University, US), Sheikh Iqbal Ahamed (Marquette University, US), Chowdhury Sharif Hasan (Marquette University, US), Casey O’brien (Marquette University, US)
	Building Robust Authentication Systems With Activity-Based Personal Questions Anitra Babic (Chestnut Hill College, US); Huijun Xiong (Rutgers University, US); Danfeng Yao (Rutgers University, US)
	Security Policy Refinement using Data Integration: A Position Paper Robert Craven (Imperial College London, UK); Jorge Lobo (IBM T J Watson Research Center, US); Emil Lupu (Imperial College, UK); Alessandra Russo (Imperial College London, UK); Morris Sloman (Imperial College London, UK)
10:40-11:00	Coffee Break
11:00-12:30	Session 2: Network Configuration and Protocol Analysis
	Completeness of Discovery Protocols Alwyn Goodloe (National Institute of Aeospace, US), Carl Gunter (University of Illinois, Urbana-Champaign, US)
	Proof of an Interdomain Policy: A Load-balancing Multi-homed Network Andreas Voellmy (Yale University, US)
	Towards Network Security Policy Generation for Configuration Analysis & Testing Taghrid Samak (DePaul University, US); Adel El-Atawy (DePaul University, US); Ehab Al-Shaer (DePaul University, US)
	Configuring Audience-Oriented Privacy Policies Jason Watson (UNC Charlotte, US); Michael Whitney (UNC Charlotte, US); Heather Lipford (UNCC, US)
12:30-2:00	Lunch
2:00-2:50	Invited Talk: Security Automation - Convergence That Matters, Kent Landfield (McAfee) and John Banghart (NIST)
2:50-3:35	Session 3: Security and Privacy Configuration
	PolicyGlobe: A Framework for Integrating Network and Operating System Security Policies Hamed Okhravi (University of Illinois at Urbana-Champaign, US); Ryan Kagin (University of Illinois at Urbana-Champaign, US); David Nicol (University of Illinois, Urbana-Champaign, US)
	A Toolkit for Automating and Visualizing VLAN Configuration Sunil Krothapalli (Purdue University, US); Xin Sun (Purdue University, US); Yu-Wei Eric Sung (Purdue University, US); Suan Aik Yeo (Purdue University, US); Sanjay Rao (Purdue University, US)
3:30-4:00	Coffee Break
4:00-5:30	Panel: Future Research on Usable Security Configuration: NSF Report Moderator: Ehab Al-Shaer (UNC Charlotte) Panelists: Tony Sagel (National Security Agency), Kent Landfield (McAfee) and John Banghart (NIST)