Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Science of Security VO
Home
Archive
About
Search
Calendar
Members
Contact Us
Forums
Files
CPS-VO
»
Science of Security VO
» SOS QUARTERLY LABLET MEETING, SEPT '13 AT CMU
SoS Quarterly Lablet Meeting, Sept '13 at CMU
file
Advances on Protocol Indistinguishability Analysis in Maude-NPA
Submitted by Jose Meseguer on Fri, 11/08/2013 - 10:54am. Contributors:
Jose Meseguer
Catherine Meadows
Santiago Escobar
Sonia Santiago
Science of Security
Foundations
NRL
Universitat Politecnica de Valencia
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
UIUC
file
High Level to Low Level Security Policies
Submitted by Heather Lucas on Thu, 11/07/2013 - 4:53pm. Contributor:
James Carter
Science of Security
NSA
U.S. Government
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
CMU
file
Reachability as a Tool for Understanding Wireless Network Routing Security
Submitted by rudra on Fri, 11/01/2013 - 4:40pm. Contributors:
Rudra Dutta
Trisha Biswas
Meeko Oishi
Kendra Lesser
Science of Security
Foundations
reachability analysis
wireless
Wireless Network Routing
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Mobile and Wireless Security
NCSU
NSA SoS Lablets Materials
file
Venus: To Make Canada a Global Leader in Cybersecurity
Submitted by Dan Craigen on Fri, 11/01/2013 - 12:09pm. Contributor:
Dan Craigen
Science of Security
Foundations
Canada
Cybersecurity
Venus
Canada
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
file
3rd Quarterly SoS Lablet Meeting at CMU
Submitted by scherlis on Fri, 11/01/2013 - 12:05pm. Contributor:
William L. Scherlis
Science of Security
Foundations
Academia
Agenda
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
file
SoS and Hard Problems
Submitted by scherlis on Fri, 11/01/2013 - 12:05pm. Contributor:
William L. Scherlis
Composition
Resilient Systems
Science of Security
Foundations
distributed systems
Frameworks
Mobile Applications
proofs
security information
Signatures
usability
User behavior
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Composition
CMU
NSA SoS Lablets Materials
file
A Global Perspective on Cyber Attacks
Submitted by kathleen.carley on Fri, 11/01/2013 - 12:05pm. Contributors:
Kathleen M. Carley
Ghita Mezzour
Science of Security
Foundations
Cyber Threat Propagation
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Cyber Attacks
Cyber Security
file
Workshop on Addressing Usability and Security Challenges through Design and Empirical Methods Summary
Submitted by Anonymous on Fri, 11/01/2013 - 12:05pm. Contributor:
Lorrie Faith Cranor
Science of Security
Foundations
design
empirical methods
usability
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
CMU
Usability in Security and Privacy
NSA SoS Lablets Materials
file
Social Influences on Secure Development Tool Adoption: Why Security Tools Spread
Submitted by emerson on Fri, 11/01/2013 - 12:05pm. Contributors:
Emerson Murphy-Hill
Jim Witschey
Shundan Xiao
Concurrency and Timing
Science of Security
secure software tools
secure tool
security tools
social influence
tool adoption
web development
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
NCSU
Human and Societal Aspects of Security and Privacy
NSA SoS Lablets Materials
file
Science of Human Circumvention of Security
Submitted by David Nicol on Fri, 11/01/2013 - 12:05pm. Contributors:
David Nicol
Ross Koppel
Jim Blythe
Sean Smith
Science of Security
Foundations
Circumvention of Security
Security Engineering
Workarounds
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
UIUC
Human and Societal Aspects of Security and Privacy
NSA SoS Lablets Materials
1
2
next ›
last »
