Skip to main content
USENIX
Conferences
Students
Sign in
2014 USENIX Federated Conferences Week
· June 17-20, 2014
Overview
Conference Organizers
Registration Information
Registration Discounts
Venue, Hotel, and Travel
Technical Sessions
FCW '14 Training Program
Activities
ATC and ICAC Poster Session
Birds-of-a-Feather Sessions
Sponsorship
Students and Grants
Grants for Women
Questions
Help Promote!
For Participants
Call for Papers
Past Conferences
sponsors
Gold Sponsor
Gold Sponsor
Gold Sponsor
Silver Sponsor
Silver Sponsor
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Media Sponsor
Industry Partner
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
»
Security and Correctness
Tweet
connect with us
https://twitter.com/usenix
https://www.facebook.com/usenixassociation
http://www.linkedin.com/groups/USENIX-Association-49559/about
https://plus.google.com/108588319090208187909/posts
http://www.youtube.com/user/USENIXAssociation
Security and Correctness
Presentations:
Application-Defined Decentralized Access Control
MiniBox: A Two-Way Sandbox for x86 Native Code
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue
Yat: A Validation Framework for Persistent Memory Software
Medusa: Managing Concurrency and Communication in Embedded Systems
connect with us